Paul J. Steinhardt, P. Chaudhari
Journal of Computational Physics
Paper
An interpretation-oriented theorem prover over integers
Abstract
A special purpose theorem prover for establishing the validity of expressions over integer variables was developed as part of a program verifier. It is built around a powerful system for manipulating and simplifying integer expressions. © 1972 Academic Press, Inc.
Related
Michael E. Henderson
International Journal of Bifurcation and Chaos in Applied Sciences and Engineering
Da-Ke He, Ashish Jagmohan, et al.
ISIT 2007
Vladimir Yanovski, Israel A. Wagner, et al.
Ann. Math. Artif. Intell.