# John R. Cowles

According to our database

Collaborative distances:

^{1}, John R. Cowles authored at least 27 papers between 1981 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

The Fundamental Theorem of Algebra in ACL2.

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

2017

The Cayley-Dickson Construction in ACL2.

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.

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

2015

Perfect Numbers in ACL2.

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.

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.

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.

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

2011

Verifying Sierpinski and Riesel Numbers in ACL2

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

Towards a Quaternion Complex Logarithmic Number System.

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.

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

2007

Theory Extension in ACL2(r).

J. Autom. Reasoning, 2007

2006

Implementing a cost-aware evaluator for ACL2 expressions.

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

Unique factorization in ACL2: Euclidean domains.

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

2004

A Mechanical Proof of the Cook-Levin Theorem.

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

2003

Fast Fourier Transforms Using the Complex Logarithmic Number System.

VLSI Signal Processing, 2003

Error Analysis of the Kmetz/Maenner Algorithm.

VLSI Signal Processing, 2003

1998

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

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

1997

Arithmetic Co-transformations in the Real and Complex Logarithmic Number Systems.

Proceedings of the 13th Symposium on Computer Arithmetic (ARITH-13 '97), 1997

1992

Initializing RAM-based logarithmic processors.

VLSI Signal Processing, 1992

Applying Features of IEEE 754 to Sign/Logarithm Arithmetic.

IEEE Trans. Computers, 1992

Comments on "An Architecture for Addition and Subtraction of Long Word Length Numbers in the Logarithmic Number System''.

IEEE Trans. Computers, 1992

1990

Redundant Logarithmic Arithmetic.

IEEE Trans. Computers, 1990

1989

Redundant logarithmic number systems.

Proceedings of the 9th Symposium on Computer Arithmetic, 1989

1987

A Convex Hull Inclusion Test.

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

1986

Small Sample Algorithms for the Identification of Polynomials.

J. ACM, 1986

1984

Cluster Definition by the Optimization of Simple Measures.

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

1981

The Henkin Quantifier and Real Closed Fields.

Math. Log. Q., 1981