Rippling : meta-level guidance for mathematical reasoning / Alan Bundy [and three others].
Rippling is a radically new technique for the automation of mathematical reasoning. It is widely applicable whenever a goal is to be proved from one or more syntactically similar givens. It was originally developed for inductive proofs, where the goal was the induction conclusion and the givens were...
Cambridge University Press,
|Series:||Cambridge tracts in theoretical computer science ;