An interactive derivation viewer

DOI10.1016/J.ENTCS.2006.09.025MaRDI QIDQ2867942zbMATH OpenOpenAlexWikidataFDO

Authors Steven Trac, Yury Puzis, Geoff Sutcliffe

Publication date 20 December 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2006.09.025

zbMATH Keywords

derivation viewerproof synopsis

Mathematics Subject Classification ID

Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Recommendations

• ProofViz: an interactive visual proof explorer
• Computational Science – ICCS 2005
• Panoptes: an exploration tool for formal proofs
• scientific article; zbMATH DE number 1765686
• An Interactive Driver for Goal-directed Proof Strategies

Cites work

• scientific article; zbMATH DE number 1614711 (Why is no real title available?)
• scientific article; zbMATH DE number 1614717 (Why is no real title available?)
• scientific article; zbMATH DE number 1809861 (Why is no real title available?)
• scientific article; zbMATH DE number 1809862 (Why is no real title available?)
• scientific article; zbMATH DE number 1765686 (Why is no real title available?)
• scientific article; zbMATH DE number 2162299 (Why is no real title available?)
• scientific article; zbMATH DE number 2090305 (Why is no real title available?)
• IJCAI '01: 17th international joint conference on artificial intelligence (2-volume \& CD set)
• The TPTP problem library. CNF release v1. 2. 1
• Using the TPTP Language for Writing Derivations and Finite Interpretations

Cited in

(9)

• The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
• scientific article; zbMATH DE number 1966206 (Why is no real title available?)
• The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0
• Progress in the Development of Automated Theorem Proving for Higher-Order Logic
• Representation, verification, and visualization of Tarskian interpretations for typed first-order logic
• Stepping stones in the TPTP world
• Panoptes: an exploration tool for formal proofs
• VizAR: visualization of automated reasoning proofs (system description)
• Computational Science – ICCS 2005

Describes a project that uses

Uses Software

• IDV
• P.rex
• TRAMP
• SystemOnTPTP
• E Theorem Prover
• TPTP
• SPASS
• VAMPIRE

This page was built for publication: An interactive derivation viewer

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2867942)