by Jörg Siekmann, Stephan Hess, Christoph Benzmüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Helmut Horacek, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Volker Sorge
Abstract:
Most interactive proof development environments are insufficient to handle the complexity of the information to be conveyed to the user and to support his orientation in large-scale proofs. In this paper we present a distributed client-server extension of the OMEGA proof development system, focusing on the LOUI (Lovely OMEGA User Interface) client. This graphical user interface provides advanced communication facilities through an adaptable proof tree visualization and through various selective proof object display methods. Some of LOUI's main features are the graphical display of co-references in proof graphs, a selective term browser, and support for dynamically adding knowledge to partial proofs -- all based upon and implemented in a client-server architecture.
Reference:
A Distributed Graphical User Interface for the Interactive Proof System (Jörg Siekmann, Stephan Hess, Christoph Benzmüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Helmut Horacek, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Volker Sorge), In Proceedings of the International Workshop "User Interfaces for Theorem Provers 1998 (UITP'98), pp. 130-138, 1998. (Url (preprint): http://christoph-benzmueller.de/papers/W1.pdf)
Bibtex Entry:
@inproceedings{W1,
Abstract = {Most interactive proof development environments are
insufficient to handle the complexity of the
information to be conveyed to the user and to
support his orientation in large-scale proofs. In
this paper we present a distributed client-server
extension of the OMEGA proof development system,
focusing on the LOUI (Lovely OMEGA User Interface)
client. This graphical user interface provides
advanced communication facilities through an
adaptable proof tree visualization and through
various selective proof object display methods. Some
of LOUI's main features are the graphical display of
co-references in proof graphs, a selective term
browser, and support for dynamically adding
knowledge to partial proofs -- all based upon and
implemented in a client-server architecture.},
Address = {Eindhoven, Netherlands},
Author = {J{\"o}rg Siekmann and Stephan Hess and Christoph
Benzm{\"u}ller and Lassaad Cheikhrouhou and Detlef
Fehrer and Armin Fiedler and Helmut Horacek and
Michael Kohlhase and Karsten Konrad and Andreas
Meier and Erica Melis and Volker Sorge},
Booktitle = {Proceedings of the International Workshop "User
Interfaces for Theorem Provers 1998 (UITP'98)},
Pages = {130-138},
Title = {A Distributed Graphical User Interface for the
Interactive Proof System},
Note = {Url (preprint):
\url{http://christoph-benzmueller.de/papers/W1.pdf}},
Year = 1998,
}