Automated deduction

DOI10.1007/978-3-030-06167-8_3MaRDI QIDQ6602250zbMATH OpenFDO

Authors Thierry Boy de la Tour, Ricardo Caferra, N. Olivetti, Nicolas Peltier, Camilla Schwind

Publication date 11 September 2024

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• Logics, mathematics, automatic deduction
• Publication:4941841
• scientific article; zbMATH DE number 976352
• scientific article; zbMATH DE number 194631
• scientific article; zbMATH DE number 46359

Cites work

• scientific article; zbMATH DE number 3904557 (Why is no real title available?)
• scientific article; zbMATH DE number 976360 (Why is no real title available?)
• A verified SAT solver framework with learn, forget, restart, and incrementality
• Automated Theorem Proving: After 25 Years
• Automated model building
• Equivalence of inductive definitions and cyclic proofs under arithmetic
• Handbook of automated reasoning. In 2 vols
• Handbook of proof theory
• Model finding for recursive functions in SMT
• Proof methods for modal and intuitionistic logics
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Tableau methods for modal and temporal logics
• The Lean theorem prover (system description)
• The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0
• The challenge of computer mathematics
• The well-designed young mathematician

This page was built for publication: Automated deduction

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