Scheme-Based Synthesis of Inductive Theories
- 1 January 2010
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Conjecture Synthesis for Inductive TheoriesJournal of Automated Reasoning, 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
- Slothrop: Knuth-Bendix Completion with a Modern Termination CheckerLecture Notes in Computer Science, 2006
- AProVE 1.2: Automatic Termination Proofs in the Dependency Pair FrameworkLecture Notes in Computer Science, 2006
- Rippling: Meta-Level Guidance for Mathematical ReasoningPublished by Cambridge University Press (CUP) ,2005
- Algorithm-Supported Mathematical Theory Exploration: A Personal View and StrategyLecture Notes in Computer Science, 2004
- IsaPlanner: A Prototype Proof Planner in IsabelleLecture Notes in Computer Science, 2003
- Hierarchical terminationLecture Notes in Computer Science, 1995