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)

• The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0
• Evidence algorithm and inference search in first-order logics
• A tactic language for declarative proofs
• Mathematical Knowledge Management
• Beautiful formalizations in Isabelle/Naproche
• Evidence algorithm and system for automated deduction: a retrospective view. (In honor of 40 years of the EA announcement)
• N. G. de Bruijn's contribution to the formalization of mathematics
• Glushkov's evidence algorithm
• Premise selection in the Naproche system
• On Correctness of Mathematical Texts from a Logical and Practical Point of View
• Proof assistants: history, ideas and future
• Checking proofs
• Parsing and disambiguation of symbolic mathematics in the Naproche system

This page was built for software: SAD