Salvatore Certo, Anh Pham, et al.
Quantum Machine Intelligence
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
Charles A Micchelli
Journal of Approximation Theory
Laxmi Parida, Pier F. Palamara, et al.
BMC Bioinformatics
R.B. Morris, Y. Tsuji, et al.
International Journal for Numerical Methods in Engineering