John Cowles

Generating author description...

All published works

Action	Title	Year	Authors
+ PDF Chat	Towards Automated Verification of Logarithmic Arithmetic	2024	Mark G. Arnold Thomas A. Bailey John Cowles
+ PDF Chat	Quadratic Extensions in ACL2	2020	Ruben Gamboa John Cowles Woodrow Gamboa
+	Quadratic Extensions in ACL2.	2020	Ruben Gamboa John Cowles Woodrow Gamboa
+ PDF Chat	The Fundamental Theorem of Algebra in ACL2	2018	Ruben Gamboa John Cowles
+	The Fundamental Theorem of Algebra in ACL2.	2018	Ruben Gamboa John Cowles
+ PDF Chat	The Cayley-Dickson Construction in ACL2	2017	John Cowles Ruben Gamboa
+	The Cayley-Dickson Construction in ACL2.	2017	John Cowles Ruben Gamboa
+ PDF Chat	Perfect Numbers in ACL2	2015	John Cowles Ruben Gamboa
+	Perfect Numbers in ACL2.	2015	John Cowles Ruben Gamboa
+ PDF Chat	Formal Verification of Medina's Sequence of Polynomials for Approximating Arctangent	2014	Ruben Gamboa John Cowles
+ PDF Chat	Equivalence of the Traditional and Non-Standard Definitions of Concepts from Real Analysis	2014	John Cowles Ruben Gamboa
+	Formal Verification of Medina's Sequence of Polynomials for Approximating Arctangent	2014	Ruben Gamboa John Cowles
+	A Cantor Trio: Denumerability, the Reals, and the Real Algebraic Numbers	2012	Ruben Gamboa John Cowles
+ PDF Chat	Verifying Sierpiński and Riesel Numbers in ACL2	2011	John Cowles Ruben Gamboa
+ PDF Chat	Using a First Order Logic to Verify That Some Set of Reals Has No Lesbegue Measure	2010	John Cowles Ruben Gamboa
+	Inverse functions in ACL2(r)	2009	Ruben Gamboa John Cowles
+	Theory Extension in ACL2(r)	2006	Ruben Gamboa John Cowles
+	A Mechanical Proof of the Cook-Levin Theorem	2004	Ruben Gamboa John Cowles
+	Knuth’s Generalization of McCarthy’s 91 Function	2000	John Cowles
+	The least prime quadratic residue and the class number	1986	S. Chowla John Cowles Mary Jane Cowles
+	On Y2 = X3 + k and the Thue rank of cubic curves	1984	S. Chowla John Cowles Mary Jane Cowles
+ PDF Chat	Generalized Archimedean fields.	1983	John Cowles Robert LaGrange
+	On x3 + y3 = D	1982	S. Chowla John Cowles Mary Jane Cowles
+	The Henkin Quantifier and Real Closed Fields	1981	John Cowles
+ PDF Chat	Generalized Archimedean fields and logics with Malitz quantifiers	1981	John Cowles
+	On the number of conjugacy classes in SL(2,Z)	1980	S. Chowla John Cowles Mary Jane Cowles
+	Some congruence properties of three well-known sequences: Two notes	1980	John Cowles
+ PDF Chat	On the difference of cubes (mod p)	1980	S. Chowla Mary Jane Cowles John Cowles
+	The relative expressive power of some logics extending first-order logic	1979	John Cowles
+ PDF Chat	The theory of Archimedean real closed fields in logics with Ramsey quantifiers	1979	John Cowles
+	The number of zeroes of x3 + y3 + cz3 in certain finite fields.	1978	S. Chowla John Cowles Mary Jane Cowles
+	On the number of zeros of diagonal cubic forms	1977	S. Chowla John Cowles Mary Jane Cowles

Common Coauthors

Coauthor	Papers Together
Ruben Gamboa	17
Mary Jane Cowles	7
S. Chowla	6
Woodrow Gamboa	2
S. Chowla	1
Robert LaGrange	1
Thomas A. Bailey	1
Mark G. Arnold	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+	None	2001	Ruben Gamboa Matt Kaufmann	5
+ PDF Chat	Internal set theory: A new approach to nonstandard analysis	1977	Edward Nelson	5
+	Theory Extension in ACL2(r)	2006	Ruben Gamboa John Cowles	3
+	Mechanically verifying real-valued algorithms in acl2	1999	Ruben Gamboa Robert S. Boyer	3
+	Non-standard analysis	1966	Abraham Robinson	3
+	Non-standard Analysis	1996	Abraham Robinson	2
+	Automatic Differentiation in ACL2	2011	Peter Reid Ruben Gamboa	2
+	Inverse functions in ACL2(r)	2009	Ruben Gamboa John Cowles	2
+ PDF Chat	Equivalence of the Traditional and Non-Standard Definitions of Concepts from Real Analysis	2014	John Cowles Ruben Gamboa	2
+	Compact extensions of L(Q) (part 1a)	1977	Menachem Magidor Jerome Malitz	2
+	Taylor's formula with remainder	2002	Ruben Gamboa Brittany Middleton	2
+	A Model of Set-Theory in Which Every Set of Reals is Lebesgue Measurable	1970	Robert M Solovay	1
+	Lectures on the hyperreals : an introduction to nonstandard analysis	1998	Robert Goldblatt	1
+	Some applications of Henkin quantifiers	1976	Jon Barwise	1
+	A New Proof of a Theorem of Siegel	1950	S. Chowla	1
+	A Sequence of Polynomials for Approximating Arctangent	2006	Herbert A. Medina	1
+ PDF Chat	Numerical solutions of the Diophantine equation 𝑦³-𝑥²=𝑘	1966	Mohan Lal M. F. Jones W. J. Blundon	1
+	Lectures in Abstract Algebra	1964	Nathan Jacobson	1
+ PDF Chat	Automatic Proofs of Theorems in Analysis Using Nonstandard Techniques	1977	W. W. Bledsoe A. Michael Ballantyne	1
+	Complex Variables and Applications.	1961	F. Haas R. V. Churchill	1
+	Decision procedures for real and <i>p</i>‐adic fields	1969	Paul J. Cohen	1
+	On powers associated with Sierpiński numbers, Riesel numbers and Polignac's conjecture	2008	Michael Filaseta Carrie E. Finch Mark Kozek	1
+	The Princeton Companion to Mathematics	2010		1
+	The Fundamental Theorem of Algebra: A Visual Approach	2015	Daniel J. Velleman	1
+	When Does Appending the Same Digit Repeatedly on the Right of a Positive Integer Generate a Sequence of Composite Integers?	2011	Lenny Jones	1
+	Lectures on the Hyperreals	1998	Robert Goldblatt	1
+	Lectures in Abstract Algebra: Vol. III, Theory of Fields and Galois Theory	1966	Walter Ledermann Nathan Jacobson	1
+	The Calculus Gallery	2005	William Dunham	1
+	A Sequence of Polynomials for Approximating Arctangent	2006	Herbert A. Medina	1
+	Euler	1999	William Dunham	1
+	Numbers	1991	Heinz-Dieter Ebbinghaus Hans Hermes Friedrich Hirzebruch Max Koecher Klaus Mainzer Jürgen Neukirch Alexander Prestel Reinhold Remmert	1
+	A Decision Method for Elementary Algebra and Geometry	1951	Alfred Tarski J. C. C. McKinsey	1
+	The Fundamental Theorem of Algebra	1997	Benjamin Fine Gerhard Rosenberger	1
+	Not always buried deep: a second course in elementary number theory	2010	Paul Pollack	1
+	Nonstandard Analysis in Practice	1995	Francine Diener Marc Diener	1
+	Nonstandard Analysis, Axiomatically	2004	Vladimir Kanovei Michael Reeken	1
+ PDF Chat	The theory of Archimedean real closed fields in logics with Ramsey quantifiers	1979	John Cowles	1
+	A Cantor Trio: Denumerability, the Reals, and the Real Algebraic Numbers	2012	Ruben Gamboa John Cowles	1
+ PDF Chat	Generalized Archimedean fields and logics with Malitz quantifiers	1981	John Cowles	1
+	Sur l'équation y<sup>2</sup> = x<sup>3</sup> - Ax - B dans les corps p-adiques.	1937	Elisabeth Lutz	1
+	The Calculus Gallery	2005	William Dunham	1
+	Field Theory and its Classical Problems	1975	Charles R. Hadlock	1
+	Elementary Theory of Numbers	1988	Wacław Sierpiński	1
+	Euler: The Master of Us All	1999	William Dunham	1
+	The fundamental theorem of algebra	1998	Benjamin Fine Gerhard Rosenberger	1
+	Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts	2011	S. H. Lui	1
+	Saturated Model Theory	2009	Gerald E. Sacks	1
+	On Quaternions and Octonions	2003	John H. Conway Derek A. Smith	1
+	The relative expressive power of some logics extending first-order logic	1979	John Cowles	1