scientific article; zbMATH DE number 1863378

zbMATH Open1005.68535MaRDI QIDQ4790652FDOQ4790652

Authors: Gertrud Bauer, Markus Wenzel 

Publication date: 4 February 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2152/21520075

Title of this publication is not available (Why is that?)

Recommendations

• On calculational proofs
• Logic-Free Reasoning in Isabelle/Isar
• The Isabelle Framework
• Structured calculational proof
• Structured Induction Proofs in Isabelle/Isar

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited In (8)

• On the desirability of mechanizing calculational proofs
• Automated Deduction – CADE-20
• The Isabelle Framework
• Logic-Free Reasoning in Isabelle/Isar
• Structured Induction Proofs in Isabelle/Isar
• On calculational proofs
• Isar
• Context Aware Calculation and Deduction

Uses Software

• Isabelle
• Mizar

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 Q4790652)