Automated deduction

DOI10.1007/978-3-030-06167-8_3zbMATH Open1547.68805MaRDI QIDQ6602250FDOQ6602250

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

Publication date: 11 September 2024

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

Mathematics Subject Classification ID

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

Cites Work

• The Lean theorem prover (system description)
• Handbook of proof theory
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Automated model building
• The challenge of computer mathematics
• Tableau methods for modal and temporal logics
• Proof methods for modal and intuitionistic logics
• Automated Theorem Proving: After 25 Years
• Handbook of automated reasoning. In 2 vols
• Title not available (Why is that?)
• Title not available (Why is that?)
• The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0
• Model finding for recursive functions in SMT
• A verified SAT solver framework with learn, forget, restart, and incrementality
• Equivalence of inductive definitions and cyclic proofs under arithmetic
• 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)