An Interactive Derivation Viewer

Steven Trac; Yury Puzis; Geoff Sutcliffe

doi:10.1016/j.entcs.2006.09.025

Back

Journal article

Open access

An Interactive Derivation Viewer

Steven Trac, Yury Puzis and Geoff Sutcliffe

Electronic notes in theoretical computer science, Vol.174(2), pp.109-123

2007-05-15

DOI: https://doi.org/10.1016/j.entcs.2006.09.025

Abstract

Proof synopsis

Derivation viewer

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.

Files and links (1)

url

https://doi.org/10.1016/j.entcs.2006.09.025View

Published (Version of record) Open

Metrics

6 Record Views

17 Times Cited - Web of Science

UN Sustainable Development Goals (SDGs)

This output has contributed to the advancement of the following goals:

Source: InCites

Details

Title: An Interactive Derivation Viewer
Creators: Steven Trac
Yury Puzis
Geoff Sutcliffe
Publication Details: Electronic notes in theoretical computer science, Vol.174(2), pp.109-123
Publisher: Elsevier B.V
Academic Unit: Leadership Department; College of A&S; A&S - Computer Science
Language: English
Resource Type: Journal article
Record Identifier: 991031576443002976