scientific article; zbMATH DE number 2079533

MaRDI QIDQ4471536zbMATH OpenFDO

Authors Konstantin Verchinine, Anatoli I. Degtyarev, Andrei Paskevich, Alexander Lyaletski

Publication date 28 July 2004

Mathematics Subject Classification ID

Recommendations

• Mathematical Knowledge Management
• SAD as a mathematical assistant -- how should we go from here to there?
• System for Automated Deduction (SAD): A Tool for Proof Verification
• Evidence algorithm and SAD systems: past and possible future
• scientific article; zbMATH DE number 2120024

Cited in

(14)

• Evidence algorithm and SAD systems: past and possible future
• Interpreting mathematical texts in Naproche-SAD
• Sequent forms of Herbrand theorem and their applications
• Evidence algorithm and inference search in first-order logics
• scientific article; zbMATH DE number 3888943 (Why is no real title available?)
• Evidence algorithm and system for automated deduction: a retrospective view. (In honor of 40 years of the EA announcement)
• System for Automated Deduction (SAD): A Tool for Proof Verification
• An algebraic approach to the formalization of some deduction techniques
• Glushkov's evidence algorithm
• scientific article; zbMATH DE number 194550 (Why is no real title available?)
• scientific article; zbMATH DE number 2120024 (Why is no real title available?)
• Mathematical Knowledge Management
• On Correctness of Mathematical Texts from a Logical and Practical Point of View
• SAD as a mathematical assistant -- how should we go from here to there?

Describes a project that uses

Uses Software

• ForTheL
• Theorema

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4471536)