John Cowles

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 IEEE Transactions on Computers	2018-07-09	Paper
Perfect Numbers in ACL2	2015-09-20	Paper
A Cantor trio: denumerability, the reals, and the real algebraic numbers Interactive Theorem Proving	2012-09-20	Paper
Using a first order logic to verify that some set of reals has no Lebesgue measure Interactive Theorem Proving	2010-09-14	Paper
Theory extension in ACL2(r) Journal of Automated Reasoning	2007-08-17	Paper
Theorem Proving in Higher Order Logics Lecture Notes in Computer Science	2005-08-18	Paper
Generalized Archimedean fields Notre Dame Journal of Formal Logic	1983-01-01	Paper
The Henkin Quantifier and Real Closed Fields Mathematical Logic Quarterly	1981-01-01	Paper
Some congruence properties of three well-known sequences: Two notes Journal of Number Theory	1980-01-01	Paper
The relative expressive power of some logics extending first-order logic Journal of Symbolic Logic	1979-01-01	Paper

Research outcomes over time

This page was built for person: John Cowles