The Henkin Quantifier and Real Closed Fields. - John R. Cowles (Math. Log. Q., 1981)

Cluster Definition by the Optimization of Simple Measures. - Thomas A. Bailey; John R. Cowles (IEEE Trans. Pattern Anal. Mach. Intell., 1984)

Small Sample Algorithms for the Identification of Polynomials. - John H. Rowland; John R. Cowles (J. ACM, 1986)

A Convex Hull Inclusion Test. - Thomas A. Bailey; John R. Cowles (IEEE Trans. Pattern Anal. Mach. Intell., 1987)

Improved accuracy for logarithmic addition in DSP applications. - Mark G. Arnold; John R. Cowles; Thomas A. Bailey (ICASSP, 1988)

Redundant logarithmic number systems. - Mark G. Arnold; Thomas A. Bailey; John R. Cowles; Jerry J. Cupal (IEEE Symposium on Computer Arithmetic, 1989)

Redundant Logarithmic Arithmetic. - Mark G. Arnold; Thomas A. Bailey; John R. Cowles; Jerry J. Cupal (IEEE Trans. Computers, 1990)

Comments on "An Architecture for Addition and Subtraction of Long Word Length Numbers in the Logarithmic Number System''. - Mark G. Arnold; Thomas A. Bailey; John R. Cowles (IEEE Trans. Computers, 1992)

Applying Features of IEEE 754 to Sign/Logarithm Arithmetic. - Mark G. Arnold; Thomas A. Bailey; John R. Cowles; Mark D. Winkel (IEEE Trans. Computers, 1992)

Initializing RAM-based logarithmic processors. - Mark G. Arnold; Thomas A. Bailey; John R. Cowles; Jerry J. Cupal (J. VLSI Signal Process., 1992)

TELELAB: A virtual laboratory for scientific data distribution on the internet. - Rex E. Gantenbein; Thomas L. James; John R. Cowles; William H. Paloski (CATA, 1998)

Arithmetic Co-Transformations in the Real and Complex Logarithmic Number Systems. - Mark G. Arnold; Thomas A. Bailey; John R. Cowles; Mark D. Winkel (IEEE Trans. Computers, 1998)

Error Analysis of the Kmetz/Maenner Algorithm. - Mark G. Arnold; Thomas A. Bailey; John R. Cowles (J. VLSI Signal Process., 2003)

Fast Fourier Transforms Using the Complex Logarithmic Number System. - Mark G. Arnold; Thomas A. Bailey; John R. Cowles; Colin D. Walter (J. VLSI Signal Process., 2003)

A Mechanical Proof of the Cook-Levin Theorem. - Ruben Gamboa; John R. Cowles (TPHOLs, 2004)

Unique factorization in ACL2: Euclidean domains. - John R. Cowles; Ruben Gamboa (ACL2, 2006)

Implementing a cost-aware evaluator for ACL2 expressions. - Ruben Gamboa; John R. Cowles (ACL2, 2006)

Theory Extension in ACL2(r). - Ruben Gamboa; John R. Cowles (J. Autom. Reason., 2007)

Using a First Order Logic to Verify That Some Set of Reals Has No Lesbegue Measure. - John R. Cowles; Ruben Gamboa (ITP, 2010)

Towards a Quaternion Complex Logarithmic Number System. - Mark G. Arnold; John R. Cowles; Vassilis Paliouras; Ioannis Kouretas (IEEE Symposium on Computer Arithmetic, 2011)

Verifying Sierpinski and Riesel Numbers in ACL2 - John R. Cowles; Ruben Gamboa (ACL2, 2011)

A Cantor Trio: Denumerability, the Reals, and the Real Algebraic Numbers. - Ruben Gamboa; John R. Cowles (ITP, 2012)

Equivalence of the Traditional and Non-Standard Definitions of Concepts from Real Analysis. - John R. Cowles; Ruben Gamboa (ACL2, 2014)

Formal Verification of Medina's Sequence of Polynomials for Approximating Arctangent. - Ruben Gamboa; John R. Cowles (ACL2, 2014)

Perfect Numbers in ACL2. - John R. Cowles; Ruben Gamboa (ACL2, 2015)

Guarding the guards: Enhancing LNS performance for common applications. - Mark G. Arnold; Ed Chester; John R. Cowles (ASAP, 2016)

The Cayley-Dickson Construction in ACL2. - John R. Cowles; Ruben Gamboa (ACL2, 2017)

The Fundamental Theorem of Algebra in ACL2. - Ruben Gamboa; John R. Cowles (ACL2, 2018)

Under- and Overflow Detection in the Residue Logarithmic Number System. - Mark G. Arnold; Ioannis Kouretas; Vassilis Paliouras; John R. Cowles (ARITH, 2019)

Optimizing Mitchell's Method for Approximate Logarithmic Addition via Base Selection with Application to Back-Propagation. - Mark G. Arnold; Ed Chester; John R. Cowles; Corey Johnson (NORCAS, 2019)

Quadratic Extensions in ACL2. - Ruben Gamboa; John R. Cowles; Woodrow Gamboa (ACL2, 2020)

Towards Automated Verification of Logarithmic Arithmetic. - Mark G. Arnold; Thomas A. Bailey; John R. Cowles (CoRR, 2024)