The Boyer-Moore theorem prover and its interactive enhancement
- 1 January 1995
- journal article
- Published by Elsevier in Computers & Mathematics with Applications
- Vol. 29 (2) , 27-62
- https://doi.org/10.1016/0898-1221(94)00215-7
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- MJRTY—A Fast Majority Vote AlgorithmPublished by Springer Nature ,1991
- Computer proofs in Group TheoryJournal of Automated Reasoning, 1990
- A mechanical proof of the Church-Rosser theoremJournal of the ACM, 1988
- Proof Checking the RSA Public Key Encryption AlgorithmThe American Mathematical Monthly, 1984
- A mechanical proof of the termination of Takeuchi's functionInformation Processing Letters, 1979
- Computer proofs of limit theoremsArtificial Intelligence, 1972
- Splitting and reduction heuristics in automatic theorem provingArtificial Intelligence, 1971
- Proving Properties of Programs by Structural InductionThe Computer Journal, 1969
- Mathematical GamesScientific American, 1960
- Recursive functions of symbolic expressions and their computation by machine, Part ICommunications of the ACM, 1960