SAD

swMATH9796MaRDI QIDQ21775

No author found.

Described by source

• SAD as a mathematical assistant -- how should we go from here to there?
• System for Automated Deduction (SAD): A Tool for Proof Verification

Related Items (13)

Beautiful formalizations in Isabelle/Naproche ⋮ Evidence algorithm and inference search in first-order logics ⋮ Checking Proofs ⋮ The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0 ⋮ Glushkov's evidence algorithm ⋮ Evidence Algorithm and System for Automated Deduction: A Retrospective View ⋮ A Tactic Language for Declarative Proofs ⋮ Premise Selection in the Naproche System ⋮ Parsing and Disambiguation of Symbolic Mathematics in the Naproche System ⋮ N. G. de Bruijn's contribution to the formalization of mathematics ⋮ Proof assistants: history, ideas and future ⋮ On Correctness of Mathematical Texts from a Logical and Practical Point of View ⋮ Mathematical Knowledge Management

This page was built for software: SAD