Here is a collection of my technical notes, called ARMs after my initials. They are numbered sequentially starting from 0, and are shared as downloadable PDF files. The references used in the table are elaborated upon at the bottom of the page.
Number | Date (Y.M.D) | Name | References |
---|---|---|---|
ARM0 | 2004.10.5 | Programming as a mathematical discipline | DP |
ARM1 | 2005.11.15 | Being aware of the choices we make | |
ARM2 | 2006.01.30 | An exercise in calculation | |
ARM3 | 2006.05.07 | The problem of the 21 students | |
ARM4 | 2007.03.28 | The top of the hill | WF214 |
ARM5 | 2007.4.9 | The lexicographic relationship between two arrays | WF118 |
ARM6 | 2007.07.05 | The tale of an eventually periodic sequence | with Jeremy Weissmann |
ARM7 | 2007.11.15 | Designing a proof of unique factorization | (with Jeremy Weissmann) EWD755 |
I use the following conventions in the references :