Scheme-based theorem discovery and concept invention
- 1 February 2012
- journal article
- research article
- Published by Elsevier BV in Expert Systems with Applications
- Vol. 39 (2), 1637-1646
- https://doi.org/10.1016/j.eswa.2011.06.055
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Conjecture Synthesis for Inductive TheoriesJournal of Automated Reasoning, 2010
- Scheme-Based Synthesis of Inductive TheoriesLecture Notes in Computer Science, 2010
- Decompositions of Natural Numbers: From a Case Study in Mathematical Theory ExplorationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2007
- Theorema: Towards computer-aided mathematical theory explorationJournal of Applied Logic, 2006
- Ascertaining Mathematical TheoremsElectronic Notes in Theoretical Computer Science, 2006
- Random testing in Isabelle/HOLPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2004
- IsaPlanner: A Prototype Proof Planner in IsabelleLecture Notes in Computer Science, 2003