R.A. Brualdi, A.J. Hoffman
Linear Algebra and Its Applications
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
Jonathan Ashley, Brian Marcus, et al.
Ergodic Theory and Dynamical Systems
Vladimir Yanovski, Israel A. Wagner, et al.
Ann. Math. Artif. Intell.
David W. Jacobs, Daphna Weinshall, et al.
IEEE Transactions on Pattern Analysis and Machine Intelligence