| |
| 2008 | ||
|---|---|---|
| 9 | EE | Russell O'Connor: Certified Exact Transcendental Real Number Computation in Coq. TPHOLs 2008: 246-261 |
| 8 | EE | Russell O'Connor: Certified Exact Transcendental Real Number Computation in Coq CoRR abs/0805.2438: (2008) |
| 7 | EE | Russell O'Connor: A Computer Verified Theory of Compact Sets CoRR abs/0806.3209: (2008) |
| 6 | EE | Russell O'Connor, Bas Spitters: A computer verified, monadic, functional implementation of the integral CoRR abs/0809.1552: (2008) |
| 5 | EE | Cezary Kaliszyk, Russell O'Connor: Computing with Classical Real Numbers CoRR abs/0809.1644: (2008) |
| 2007 | ||
| 4 | EE | Russell O'Connor: A monadic, functional implementation of real numbers. Mathematical Structures in Computer Science 17(1): 129-159 (2007) |
| 2006 | ||
| 3 | EE | Russell O'Connor: A Monadic, Functional Implementation of Real Numbers CoRR abs/cs/0605058: (2006) |
| 2005 | ||
| 2 | EE | Russell O'Connor: Essential Incompleteness of Arithmetic Verified by Coq. TPHOLs 2005: 245-260 |
| 1 | EE | Russell O'Connor: Essential Incompleteness of Arithmetic Verified by Coq CoRR abs/cs/0505034: (2005) |
| 1 | Cezary Kaliszyk | [5] |
| 2 | Bas Spitters | [6] |