The use of proof plans to sum series
- 1 January 1992
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- The use of explicit plans to guide inductive proofsPublished by Springer Nature ,2010
- Analytica — A theorem prover in mathematicaPublished by Springer Nature ,1992
- Difference matchingPublished by Springer Nature ,1992
- Experiments with proof plans for inductionJournal of Automated Reasoning, 1991
- Guiding induction proofsPublished by Springer Nature ,1990
- Extensions to the rippling-out tactic for guiding inductive proofsPublished by Springer Nature ,1990
- The OYSTER-CLAM systemPublished by Springer Nature ,1990
- Solving symbolic equations with PRESSJournal of Symbolic Computation, 1989