Author:
Aspinall David,Denney Ewen,Lüth Christoph
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Computational Theory and Mathematics,Computational Mathematics
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Dynamic Proof Presentation;Mathematical Reasoning: The History and Impact of the DReaM Group;2021
2. Refactoring Proofs with Tactician;Software Engineering and Formal Methods;2015
3. Capturing Hiproofs in HOL Light;Lecture Notes in Computer Science;2013
4. A Semantic Basis for Proof Queries and Transformations;Logic for Programming, Artificial Intelligence, and Reasoning;2013
5. Towards an Intelligent Tutor for Mathematical Proofs;Electronic Proceedings in Theoretical Computer Science;2012-02-21