A Distributed Graphical User Interface for the Interactive Proof System (bibtex)
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,
}
Powered by bibtexbrowser