Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1

Rippling: Meta-Level-Anleitung für mathematisches Denken von Andrew Ireland (engl.

Ø 0.0
0 Bewertungen
177,23 €

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 the induction hypotheses.

Jetzt bei Ebay: