LOUI swMATH ID: 19627 Software Authors: J. Siekmann, S. Hess, C. Benzmüller, L. Cheikhrouhou, A. Fiedler, H. Horacek, M. Kohlhase, K. Konrad, A. Meier, E. Melis, M. Pollet, V. Sorge 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; OMEGA; OMDoc; MAYA; OTTER; Bliksem; TRAMP; Leo; Waldmeister; MathWeb; MBase; SPASS Cited in: 9 Publications all top 5 Cited by 26 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 Jebelean, Tudor 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 9 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) 1 Commutative algebra (13-XX) Citations by Year