×

LOUI

swMATH ID: 19627
Software Authors: Siekmann, J.; Hess, S.; Benzmüller, C.; Cheikhrouhou, L.; Fiedler, A.; Horacek, H.; Kohlhase, M.; Konrad, K.; Meier, A.; Melis, E.; Pollet, M.; Sorge, V.
Description: LΩUI: Lovely ΩMEGA User Interface. The capabilities of a automated theorem prover’s interface are essential for the effective use of (interactive) proof systems. LΩUI is the multi-modal interface that combines several features: a graphical display of information in a proof graph, a selective term browser with hypertext facilities, proof and proof plan presentation in natural language, and an editor for adding and maintaining the knowledge base. LΩUI is realized in an agent-based client-server architecture and implemented in the concurrent constraint programming language Oz.
Homepage: http://rd.springer.com/article/10.1007%2Fs001650050053?LI=true
Related Software: TPTP; Coq; PVS; HOL; Omega-ANTS; Nuprl; VAMPIRE; Isar; Isabelle; Isabelle/HOL; OMEGA; OMDoc; MAYA; OTTER; Bliksem; TRAMP; Leo; Waldmeister; MathWeb; MBase
Cited in: 10 Documents
all top 5

Cited by 28 Authors

4 Benzmüller, Christoph Ewald
3 Siekmann, Jörg H.
2 Autexier, Serge
1 Arthan, Rob D.
1 Aspinall, David
1 Buchberger, Bruno
1 Crǎciun, Adrian
1 Denney, Ewen
1 Fiedler, Armin
1 Grov, Gudmund
1 Jakubův, Jan
1 Jebelean, Tudor
1 Kaliszyk, Cezary
1 Kovács, Laura Ildikó
1 Kutsia, Temur
1 Lin, Yuhui
1 Lüth, Christoph
1 Meier, Andreas
1 Melcer, Daniel
1 Nakagawa, Koji
1 Piroi, Florina
1 Pollet, Martin
1 Popov, Nikolaj
1 Robu, Judit
1 Rosenkranz, Markus
1 Schuppan, Viktor
1 Wagner, Marc Oliver
1 Windsteiger, Wolfgang

Cited in 4 Serials

2 Journal of Applied Logic
1 Theoretical Computer Science
1 Mathematics in Computer Science
1 Journal of Formalized Reasoning

Cited in 3 Fields

10 Computer science (68-XX)
1 Mathematical logic and foundations (03-XX)
1 Commutative algebra (13-XX)

Citations by Year