John R. Cowles

According to our database1, John R. Cowles authored at least 27 papers between 1981 and 2018.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

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


  Loading...