John Cowles

Available identifiers

Publication	Date of Publication	Type
Quadratic extensions in ACL2	2024-08-22	Paper
Perfect numbers in ACL2	2024-08-21	Paper
The Cayley-Dickson construction in ACL2	2024-08-21	Paper
The fundamental theorem of algebra in ACL2	2024-08-21	Paper
Equivalence of the traditional and non-standard definitions of concepts from real analysis	2024-08-19	Paper
Formal verification of Medina's sequence of polynomials for approximating arctangent	2024-08-19	Paper
Verifying Sierpiński and Riesel numbers in ACL2	2024-08-13	Paper
Arithmetic co-transformations in the real and complex logarithmic number systems	2018-07-09	Paper
Perfect Numbers in ACL2	2015-09-20	Paper
A Cantor trio: denumerability, the reals, and the real algebraic numbers	2012-09-20	Paper
Using a first order logic to verify that some set of reals has no Lebesgue measure	2010-09-14	Paper
Theory extension in ACL2(r)	2007-08-17	Paper
Theorem Proving in Higher Order Logics	2005-08-18	Paper
Generalized Archimedean fields	1983-01-01	Paper
The Henkin Quantifier and Real Closed Fields	1981-01-01	Paper
Some congruence properties of three well-known sequences: Two notes	1980-01-01	Paper
The relative expressive power of some logics extending first-order logic	1979-01-01	Paper

This page was built for person: John Cowles