Mario Blaum, John L. Fan, et al.
IEEE International Symposium on Information Theory - Proceedings
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
Ronen Feldman, Martin Charles Golumbic
Ann. Math. Artif. Intell.
Yixiong Chen, Weichuan Fang
Engineering Analysis with Boundary Elements
Imran Nasim, Michael E. Henderson
Mathematics