Russell O'Connor

Available identifiers

zbMath Open oconnor.russellDBLP59/6733WikidataQ102415090 ScholiaQ102415090MaRDI QIDQ987983

List of research outcomes

Publication	Date of Publication	Type
Building on the Diamonds between Theories: Theory Presentation Combinators	2018-12-14	Paper
A representation theorem for second-order functionals	2017-10-23	Paper
A Machine-Checked Proof of the Odd Order Theorem	2013-08-07	Paper
Theory Presentation Combinators	2012-09-07	Paper
Classical mathematics for a constructive world	2011-10-21	Paper
MathScheme: Project Description	2011-07-29	Paper
A computer-verified monadic functional implementation of the integral	2010-08-24	Paper
https://portal.mardi4nfdi.de/entity/Q3184782	2009-10-22	Paper
Certified Exact Transcendental Real Number Computation in Coq	2008-12-04	Paper
A monadic, functional implementation of real numbers	2007-04-12	Paper
Theorem Proving in Higher Order Logics	2006-07-06	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Russell O'Connor