Automated theorem proving in mathematics.
From MaRDI portal
Publication:1353941
DOI10.1007/BF01530801zbMath1034.68544MaRDI QIDQ1353941
Publication date: 12 May 1997
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Uses Software
Cites Work
- An experimental logic based on the fundamental deduction principle
- A six-state minimal time solution to the Firing squad synchronization problem
- MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics
- Automatic theorem proving in set theory
- A language and a program for stating and solving combinatorial problems
- A man-machine theorem-proving system
- Splitting and reduction heuristics in automatic theorem proving
- An 8-state minimal time solution to the firing squad synchronization problem
- A Machine-Oriented Logic Based on the Resolution Principle
This page was built for publication: Automated theorem proving in mathematics.
