John R. Cowles

CoRR, 2024

2020

Quadratic Extensions in ACL2.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

2018

The Fundamental Theorem of Algebra in ACL2.

[BibT_eX]

[DOI]

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

2017

The Cayley-Dickson Construction in ACL2.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Ed Chester

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

2015

Perfect Numbers in ACL2.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

2011

Verifying Sierpinski and Riesel Numbers in ACL2

[BibT_eX]

[DOI]

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

Towards a Quaternion Complex Logarithmic Number System.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

2007

Theory Extension in ACL2(r).

[BibT_eX]

[DOI]

J. Autom. Reason., 2007

2006

Implementing a cost-aware evaluator for ACL2 expressions.

[BibT_eX]

[DOI]

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

Unique factorization in ACL2: Euclidean domains.

[BibT_eX]

[DOI]

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

2004

A Mechanical Proof of the Cook-Levin Theorem.

[BibT_eX]

[DOI]

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

2003

Fast Fourier Transforms Using the Complex Logarithmic Number System.

[BibT_eX]

[DOI]

J. VLSI Signal Process., 2003

Error Analysis of the Kmetz/Maenner Algorithm.

[BibT_eX]

[DOI]

J. VLSI Signal Process., 2003

1998

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

[BibT_eX]

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

1997

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

[BibT_eX]

[DOI]

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

1992

Initializing RAM-based logarithmic processors.

[BibT_eX]

[DOI]

J. VLSI Signal Process., 1992

Applying Features of IEEE 754 to Sign/Logarithm Arithmetic.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1992

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

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1992

1990

Redundant Logarithmic Arithmetic.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1990

1989

Redundant logarithmic number systems.

[BibT_eX]

[DOI]

Proceedings of the 9th Symposium on Computer Arithmetic, 1989

1988

Improved accuracy for logarithmic addition in DSP applications.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Acoustics, 1988

1987

A Convex Hull Inclusion Test.

[BibT_eX]

[DOI]

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

1986

Small Sample Algorithms for the Identification of Polynomials.

[BibT_eX]

John H. Rowland

J. ACM, 1986

1984

Cluster Definition by the Optimization of Simple Measures.

[BibT_eX]

[DOI]

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

1981

The Henkin Quantifier and Real Closed Fields.

[BibT_eX]

[DOI]