SAD

swMATH9796MaRDI QIDQ21775FDOQ21775

Author name not available (Why is that?)

Described by source

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

Cited In (13)

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

This page was built for software: SAD