Ascertaining Mathematical Theorems
Open Access
- 21 March 2006
- journal article
- Published by Elsevier BV in Electronic Notes in Theoretical Computer Science
- Vol. 151 (1), 21-38
- https://doi.org/10.1016/j.entcs.2005.11.021
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Automated Theory Formation in Pure MathematicsPublished by Springer Science and Business Media LLC ,2002
- Recording and Analysing Knowledge-Based Distributed Deduction ProcessesJournal of Symbolic Computation, 1996