The HR Program for Theorem Generation
- 4 July 2002
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 285-289
- https://doi.org/10.1007/3-540-45620-1_24
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Constraint Generation via Automated Theory FormationLecture Notes in Computer Science, 2001
- On the notion of interestingness in automated mathematical discoveryInternational Journal of Human-Computer Studies, 2000
- System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem ProvingLecture Notes in Computer Science, 1999
- The TPTP Problem LibraryJournal of Automated Reasoning, 1998
- Computing prime implicates incrementallyLecture Notes in Computer Science, 1992