|
JAW100
|
2007.12.10
|
A short note on (non)empty types
|
|
|
JAW101
|
2008.02.11
|
A seemingly heretical proof technique (and a problem from Eric Macaulay)
|
WF102,
EEM9a,
EWD1050
|
|
JAW102
|
2008.02.11
|
The beauty of distributivity
|
|
|
JAW103
|
2008.02.21
|
Shrinking is strengthening, widening is weakening
|
MOM
|
|
JAW104
|
2008.02.25
|
A problem from EWD766
|
EWD766,
EWD1307
|
|
JAW105
|
2008.04.19
|
Deriving an equation from physics
|
|
|
JAW106
|
2007.08.12
|
My solutions to the tetrominoes problems
|
Algorithmic Problem Solving, by Roland Backhouse
|
|
JAW107
|
2008.06.09
|
A generalization of a property of primes
|
|
|
JAW108
|
2008.06.25
|
Integer points in intervals
|
|
