Toward mechanical methods for streamlining proofs

DOI10.1007/3-540-52885-7_99MaRDI QIDQ6488544zbMATH OpenFDO

Authors William H. Pierce

Publication date 28 April 2023

Full work available at URL https://doi.org/10.1007/3-540-52885-7_99

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• Proof simplification in the framework of coherent logic
• Proof simplification and automated theorem proving
• scientific article; zbMATH DE number 1696761
• Simplifying proofs in Fitch-style natural deduction systems
• scientific article; zbMATH DE number 4164180

Cites work

• A Transformation System for Developing Recursive Programs
• scientific article; zbMATH DE number 3871341 (Why is no real title available?)
• scientific article; zbMATH DE number 3871342 (Why is no real title available?)
• scientific article; zbMATH DE number 4164180 (Why is no real title available?)
• scientific article; zbMATH DE number 4099291 (Why is no real title available?)
• scientific article; zbMATH DE number 3684929 (Why is no real title available?)

Cited in

(11)

• Presenting inequations in mathematical proofs
• scientific article; zbMATH DE number 1696761 (Why is no real title available?)
• Mechanical Verification of a Constructive Proof for FLP
• scientific article; zbMATH DE number 3948225 (Why is no real title available?)
• Proof simplification in the framework of coherent logic
• Presenting machine-found proofs
• scientific article; zbMATH DE number 2102718 (Why is no real title available?)
• Proof simplification and automated theorem proving
• scientific article; zbMATH DE number 3212023 (Why is no real title available?)
• Mechanizing Mathematical Reasoning
• A versatile, sound tool for simplifying definitions

This page was built for publication: Toward mechanical methods for streamlining proofs

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