System for Automated Deduction (SAD): A Tool for Proof Verification

DOI10.1007/978-3-540-73595-3_29zbMath1213.68576OpenAlexW1575002400MaRDI QIDQ3608785

Andrei Paskevich, Konstantin Verchinine, Alexander Lyaletski

Publication date: 6 March 2009

Published in: Automated Deduction – CADE-21 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73595-3_29

Mathematics Subject Classification ID

Related Items (9)

Beautiful formalizations in Isabelle/Naproche ⋮ Checking Proofs ⋮ The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0 ⋮ Glushkov's evidence algorithm ⋮ Premise Selection in the Naproche System ⋮ Parsing and Disambiguation of Symbolic Mathematics in the Naproche System ⋮ The Isabelle/Naproche natural language proof assistant ⋮ SAD ⋮ On Correctness of Mathematical Texts from a Logical and Practical Point of View

Uses Software

• VAMPIRE
• SPASS
• TPTP
• Mizar
• ForTheL
• E Theorem Prover

This page was built for publication: System for Automated Deduction (SAD): A Tool for Proof Verification