scientific article; zbMATH DE number 1348457

MaRDI QIDQ4264708zbMATH OpenFDO

Authors Toby Walsh, Alex Nunes, Alan Bundy

Publication date 7 October 1999

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited in

(7)

• A calculus for and termination of rippling
• A divergence critic
• Termination orderings for rippling
• Combining symbolic computation and theorem proving: Some problems of Ramanujan
• A colored version of the -calculus
• The use of embeddings to provide a clean separation of term and annotation for higher order rippling
• Rippling: A heuristic for guiding inductive proofs

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4264708)