Russell O'Connor

From MaRDI portal
Person:987983

Available identifiers

zbMath Open oconnor.russellDBLP59/6733WikidataQ102415090 ScholiaQ102415090MaRDI QIDQ987983

List of research outcomes





PublicationDate of PublicationType
Building on the Diamonds between Theories: Theory Presentation Combinators2018-12-14Paper
A representation theorem for second-order functionals2017-10-23Paper
A Machine-Checked Proof of the Odd Order Theorem2013-08-07Paper
Theory Presentation Combinators2012-09-07Paper
Classical mathematics for a constructive world2011-10-21Paper
MathScheme: Project Description2011-07-29Paper
A computer-verified monadic functional implementation of the integral2010-08-24Paper
https://portal.mardi4nfdi.de/entity/Q31847822009-10-22Paper
Certified Exact Transcendental Real Number Computation in Coq2008-12-04Paper
A monadic, functional implementation of real numbers2007-04-12Paper
Theorem Proving in Higher Order Logics2006-07-06Paper

Research outcomes over time

This page was built for person: Russell O'Connor

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:987983&oldid=7823618"
Powered by MediaWiki