System for Automated Deduction (SAD): A Tool for Proof Verification-Reference-Cited by-同舟云学术

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

Published:2007 Issue: Volume: Page:398-403
ISSN:0302-9743
Container-title:Automated Deduction – CADE-21
language:
Short-container-title:

Author:

Verchinine Konstantin,Lyaletski Alexander,Paskevich Andrei

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-73595-3_29

Reference13 articles.

1. Wang, H.: Towards mechanical mathematics. IBM J. of Research and Development 4, 2–22 (1960)

2. Glushkov, V.M.: Some problems of automata theory and artificial intelligence (in Russian). Kibernetika 2, 3–13 (1970)

3. Lyaletski, A., Verchinine, K., Paskevich, A.: On verification tools implemented in the System for Automated Deduction. In: Proc. 2nd CoLogNet Workshop on Implementation Technology for Computational Logic Systems (ITCLS’ 2003), Pisa, Italy, pp. 3–14 (2003)

4. Lecture Notes in Computer Science;A. Lyaletski,2004

5. Lyaletski, A., Paskevich, A., Verchinine, K.: SAD as a mathematical assistant — how should we go from here to there? Journal of Applied Logic 4(4), 560–591 (2006)

Cited by 13 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Using Large Language Models for (De-)Formalization and Natural Argumentation Exercises for Beginner's Students;Electronic Proceedings in Theoretical Computer Science;2024-04-06

2. The Naproche-ZF Theorem Prover (Short Paper);Lecture Notes in Computer Science;2024

3. Beautiful Formalizations in Isabelle/Naproche;Lecture Notes in Computer Science;2021

4. The Isabelle/Naproche Natural Language Proof Assistant;Automated Deduction – CADE 28;2021

5. Towards Intuitive Reasoning in Axiomatic Geometry;Electronic Proceedings in Theoretical Computer Science;2019-04-01