This is a preview of subscription content, access via your institution.
Buy single article
Instant access to the full article PDF.
Price includes VAT (USA)
Tax calculation will be finalised during checkout.
Aubin, R.: Mechanizing Structural Induction. Ph.D. thesis, Edinburgh University (1976)
Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press (1998)
Bundy, A.: The use of explicit plans to guide inductive proofs. In: Lusk, E., Overbeek, R. (eds.) 9th International Conference on Automated Deduction (CADE 9), pp. 111–120. Springer, Berlin Heidelberg New York (1988)
About this article
Cite this article
Shah, N. “Rippling: Meta-Level Guidance for Mathematical Reasoning,” by Alan Bundy, David Basin, Dieter Hutter, and Andrew Ireland, Cambridge University Press, 2005. J Autom Reasoning 35, 429–431 (2005). https://doi.org/10.1007/s10817-006-9027-0
- Mathematical Reasoning
- Autom Reasoning
- Inductive Proof
- Automate Theorem Prove
- Automate Deduction