Automated development of Tarski's geometry

Automated Reasoning: Introduction and Applications

Telematics and Informatics · 1986 · 370 citations

Computing, Computer Science, Artificial Intelligence +9

Foundations of Geometry

David Hilbert · Bulletin of Miscellaneous Information (Royal Gardens Kew) · 1902 · 315 citations · Full text

Natural Sciences, Mathematics, Geometry +7

Larry Wos. Automated reasoning: 33 basic research problems. Prentice Hall, Englewood Cliffs, N.J., 1988, xiii + 319 pp.

Journal of Symbolic Logic · 1988 · 187 citations

Computing, Computer Science, Artificial Intelligence +6

Problems and Experiments for and with Automated Theorem-Proving Programs

McCharen, Overbeek, Wos · IEEE Transactions on Computers · 1976 · 111 citations

Computing, Computer Science, Experimental Design +12

Equality-based binary resolution

Vincent J. Digricoli, Malcolm C. Harrison · Journal of the ACM · 1986 · 42 citations · Full text

Computing, Computer Science, Mathematics +17