Journal of Automated Reasoning
A Technique for Drawing Directed Graphs
IEEE Transactions on Software Engineering
CADE-17 Proceedings of the 17th International Conference on Automated Deduction
System Description: SystemOn TPTP
CADE-17 Proceedings of the 17th International Conference on Automated Deduction
P.rex: An Interactive Proof Explainer
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
CADE-18 Proceedings of the 18th International Conference on Automated Deduction
The design and implementation of VAMPIRE
AI Communications - CASC
AI Communications - CASC
Splitting without backtracking
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Using the TPTP language for writing derivations and finite interpretations
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Visualizing Proof Search for Theorem Prover Development
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Progress in the Development of Automated Theorem Proving for Higher-Order Logic
CADE-22 Proceedings of the 22nd International Conference on Automated Deduction
The TPTP Problem Library and Associated Infrastructure
Journal of Automated Reasoning
Automated reasoning and presentation support for formalizing mathematics in Mizar
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
The TPTP world - infrastructure for automated reasoning
LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning
Automated proof compression by invention of new definitions
LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning
CSR'07 Proceedings of the Second international conference on Computer Science: theory and applications
Hi-index | 0.00 |
This work describes the Interactive Derivation Viewer (IDV) tool for graphical rendering of derivations that are written in the TPTP language. IDV provides an interactive interface that allows the user to quickly view various features of the derivation. A particularly novel feature of IDV is its ability to provide a synopsis of a derivation by identifying interesting lemmas within a derivation, and hiding less interesting intermediate formulae. IDV is deployed online as part of the SystemOnTPTP interface, thus providing ready access via any web browser.