John R. Cowles

According to our database, John R. Cowles authored at least 31 papers between 1981 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Quadratic Extensions in ACL2.

Ruben Gamboa, John R. Cowles, Woodrow Gamboa

Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications, 2020

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

Proceedings of the 2019 IEEE Nordic Circuits and Systems Conference, 2019

Under- and Overflow Detection in the Residue Logarithmic Number System.

Mark G. Arnold, Ioannis Kouretas, Vassilis Paliouras, John R. Cowles

Proceedings of the 26th IEEE Symposium on Computer Arithmetic, 2019

2018

The Fundamental Theorem of Algebra in ACL2.

Ruben Gamboa, John R. Cowles

Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications, 2018

2017

The Cayley-Dickson Construction in ACL2.

John R. Cowles, Ruben Gamboa

Proceedings of the Proceedings 14th International Workshop on the ACL2 Theorem Prover and its Applications, 2017

2016

Guarding the guards: Enhancing LNS performance for common applications.

Mark G. Arnold, Ed Chester, John R. Cowles

Proceedings of the 27th IEEE International Conference on Application-specific Systems, 2016

2015

Perfect Numbers in ACL2.

John R. Cowles, Ruben Gamboa

Proceedings of the Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications, 2015

2014

Formal Verification of Medina's Sequence of Polynomials for Approximating Arctangent.

Ruben Gamboa, John R. Cowles

Proceedings of the Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, 2014

Equivalence of the Traditional and Non-Standard Definitions of Concepts from Real Analysis.

John R. Cowles, Ruben Gamboa

Proceedings of the Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, 2014

2012

A Cantor Trio: Denumerability, the Reals, and the Real Algebraic Numbers.

Ruben Gamboa, John R. Cowles

Proceedings of the Interactive Theorem Proving - Third International Conference, 2012

2011

Verifying Sierpinski and Riesel Numbers in ACL2

John R. Cowles, Ruben Gamboa

Proceedings of the Proceedings 10th International Workshop on the ACL2 Theorem Prover and its Applications, 2011

Towards a Quaternion Complex Logarithmic Number System.

Mark G. Arnold, John R. Cowles, Vassilis Paliouras, Ioannis Kouretas

Proceedings of the 20th IEEE Symposium on Computer Arithmetic, 2011

2010

Using a First Order Logic to Verify That Some Set of Reals Has No Lesbegue Measure.

John R. Cowles, Ruben Gamboa

Proceedings of the Interactive Theorem Proving, First International Conference, 2010

2007

Theory Extension in ACL2(r).

Ruben Gamboa, John R. Cowles

J. Autom. Reason., 2007

2006

Implementing a cost-aware evaluator for ACL2 expressions.

Ruben Gamboa, John R. Cowles

Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, 2006

Unique factorization in ACL2: Euclidean domains.

John R. Cowles, Ruben Gamboa

Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, 2006

2004

A Mechanical Proof of the Cook-Levin Theorem.

Ruben Gamboa, John R. Cowles

Proceedings of the Theorem Proving in Higher Order Logics, 17th International Conference, 2004

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

Error Analysis of the Kmetz/Maenner Algorithm.

Mark G. Arnold, Thomas A. Bailey, John R. Cowles

J. VLSI Signal Process., 2003

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

TELELAB: A virtual laboratory for scientific data distribution on the internet.

Rex E. Gantenbein, Thomas L. James, John R. Cowles, William H. Paloski

Proceedings of the Computers and Their Applications (CATA-98), 1998

1992

Initializing RAM-based logarithmic processors.

Mark G. Arnold, Thomas A. Bailey, John R. Cowles, Jerry J. Cupal

J. VLSI Signal Process., 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

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

1990

Redundant Logarithmic Arithmetic.

Mark G. Arnold, Thomas A. Bailey, John R. Cowles, Jerry J. Cupal

IEEE Trans. Computers, 1990

1989

Redundant logarithmic number systems.

Mark G. Arnold, Thomas A. Bailey, John R. Cowles, Jerry J. Cupal

Proceedings of the 9th Symposium on Computer Arithmetic, 1989

1988

Improved accuracy for logarithmic addition in DSP applications.

Mark G. Arnold, John R. Cowles, Thomas A. Bailey

Proceedings of the IEEE International Conference on Acoustics, 1988

1987

A Convex Hull Inclusion Test.

Thomas A. Bailey, John R. Cowles

IEEE Trans. Pattern Anal. Mach. Intell., 1987

1986

Small Sample Algorithms for the Identification of Polynomials.

John H. Rowland, John R. Cowles

J. ACM, 1986

1984

Cluster Definition by the Optimization of Simple Measures.

Thomas A. Bailey, John R. Cowles

IEEE Trans. Pattern Anal. Mach. Intell., 1984

1981

The Henkin Quantifier and Real Closed Fields.

John R. Cowles

Math. Log. Q., 1981