| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 424108 | Electronic Notes in Theoretical Computer Science | 2007 | 15 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
