System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving
- 1 January 1999
- book chapter
- Published by Springer Nature
- p. 217-221
- https://doi.org/10.1007/3-540-48660-7_17
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- System description: Leo — A higher-order theorem proverPublished by Springer Nature ,1998
- The TPTP Problem LibraryJournal of Automated Reasoning, 1998
- Integrating Computer Algebra into Proof PlanningJournal of Automated Reasoning, 1998
- Ωmega: Towards a mathematical assistantPublished by Springer Nature ,1997
- TPS: A theorem-proving system for classical type theoryJournal of Automated Reasoning, 1996
- Presenting machine-found proofsPublished by Springer Nature ,1996