Martin C. Gutzwiller
Physica D: Nonlinear Phenomena
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
L Auslander, E Feig, et al.
Advances in Applied Mathematics
R.B. Morris, Y. Tsuji, et al.
International Journal for Numerical Methods in Engineering
Conference paper
Lung function measurement by optical contouring
A.R. Gourlay, G. Kaye, et al.
Proceedings of SPIE 1989