Browsing by Author "O'Connor, R.S.S."
Now showing items 112 of 12

A computerverified monadic functional implementation of the integral
O'Connor, R.; Spitters, B.2010, Article / Letter to editor (Theoretical Computer Science, 411, 37, (2010), pp. 33863402) 
Computing with Classical Real Numbers
Kaliszyk, C.S.; O'Connor, R.S.S.2009, Article / Letter to editor (Journal of Formalized Reasoning, 2, 1, (2009), pp. 2739) 
A computer verified theory of compact sets
O'Connor, Russell2008, Internal report 
Certified exact transcendental real number computation in Coq
O'Connor, Russell2008, Article in monograph or in proceedings (Otmane Ait Mohamed, César Muñoz, Sofiène Tahar (ed.) Theorem proving in higher order logic : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 1821, 2008 : proceedings, pp. 246261) 
A Computer Verified Theory of Compact Sets
O'Connor, Russell2008, Article in monograph or in proceedings (Buchberger, Bruno; Ida, Tetsuo; Kutsia, Temur (ed.), SCSS 2008, pp. 148162) 
Certified Exact Transcendental Real Number Computation in Coq
O'Connor, R.S.S.2008, Article in monograph or in proceedings (Mohamed, O.; Munoz, C. (ed.), Theorem Proving in Higher Order Logics : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 1821, 2008. Proceedings, pp. 246261) 
Assembly: Circular Programming with Recursive do
O'Connor, R.S.S.2007, Article / Letter to editor (6, 6, (2007), pp. 3553) 
A monadic, functional implementation of real numbers
O'Connor, R.S.S.2007, Article / Letter to editor (Mathematical Structures in Computer Science, 17, 1, (2007), pp. 129159) 
A monadic, functional implementation of real numbers
O'Connor, Russell2006, Internal report 
Essential incompleteness of arithmetic verified by Coq
O'Connor, Russell2005, Article in monograph or in proceedings (Hurd, J.; Melham, T. (eds.), Theorem proving in higher order logics : 18th international conference, TPHOLs 2005, Oxford, UK, August 2225, 2005 : proceedings, pp. 245260) 
Essential Incompleteness of Arithmetic Verified by Coq.
O'Connor, R.S.S.2005, Article in monograph or in proceedings (TPHOLs, pp. 245260)