User Interfaces for Portable Proofs
Authors
Pinheiro, Paulo
Rio, Nicholas
McGuinness, Deborah L.
Ding, Li
Chang, Cynthia
Sutcliffe, Geoff
ORCID
No Thumbnail Available
Other Contributors
Issue Date
2008-08-22
Keywords
Inference Web
Degree
Terms of Use
Full Citation
Abstract
Portable proofs are a new and interesting way of integrating theorem provers into distributed environments like the web. This article reports on user interface’s challenges and opportunities for theorem provers in such environments. In particular, this article reports on the design of user interfaces used for searching, browsing and inspecting TSTP problems when published as portable proofs.
Description
Department
Publisher
Relationships
https://tw.rpi.edu/project/InferenceWeb