LΩUI: Lovely ΩMEGA User Interface

[1]  Robert L. Constable,et al.  Verbalization of High-Level Formal Proofs , 1999, AAAI/IAAI.

[2]  Michael Kohlhase,et al.  System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving , 1999, CADE.

[3]  Helmut Horacek,et al.  Presenting Inequations in Mathematical Proofs , 1999, Inf. Sci..

[4]  Christoph Benzmüller,et al.  System Description: LEO - A Higher-Order Theorem Prover , 1998, CADE.

[5]  Helmut Horacek,et al.  Generating Inference-Rich Discourse Through Revisions of RST-Trees , 1998, AAAI/IAAI.

[6]  Lassaad Cheikhrouhou,et al.  Planning Diagonalization Proofs , 1997, AIMSA.

[7]  Xiaorong Huang,et al.  Proof Verbalization as an Application of NLG , 1997, IJCAI.

[8]  Volker Sorge,et al.  Omega: Towards a Mathematical Assistant , 1997, CADE.

[9]  Gert Smolka,et al.  The Oz Programming Model , 1996, Computer Science Today.

[10]  Jacques Calmet,et al.  Structures for Symbolic Mathematical Reasoning and Computation , 1996, DISCO.

[11]  Xiaorong Huang,et al.  Presenting Machine-Found Proofs , 1996, CADE.

[12]  Stefan Wittmann,et al.  Verification Support Environment , 1996, CAV.

[13]  Jörg H. Siekmann,et al.  Deduction in the Verification Support Environment (VSE) , 1996, FME.

[14]  Ehud Reiter,et al.  Has a Consensus NL Generation Architecture Appeared, and is it Psycholinguistically Plausible? , 1994, INLG.

[15]  Gilles Kahn,et al.  Proof by Pointing , 1994, TACS.

[16]  Eduard H. Hovy,et al.  Aggregation in Natural Language Generation , 1993, EWNLG.

[17]  Rachel Reichman,et al.  Getting computers to talk like you and me , 1985 .

[18]  Wolfgang Bibel,et al.  Proceedings of the 5th Conference on Automated Deduction , 1980 .

[19]  Volker Sorge,et al.  Agent-Oriented Integration of Distributed Mathematical Services , 1999, J. Univers. Comput. Sci..

[20]  Erica Melis,et al.  A proof presentation suitable for teaching proofs , 1999 .

[21]  Erica Melis,et al.  AI-Techniques in Proof Planning , 1998, ECAI.

[22]  Lassaad Cheikhrouhou,et al.  A multi-modi Proof Planner , 1998 .

[23]  V. Sorge.  Integrating Tps with Mega , 1998 .

[24]  Ian Green,et al.  System description : Proof planning in higher-order logic with λ Clam , 1998 .

[25]  Karsten Homann,et al.  Symbolisches Lösen mathematischer Probleme durch Kooperation algorithmischer und logischer Systeme , 1997, DISKI.

[26]  Volker Sorge,et al.  ΩMEGA : Towards a mathematical assistant , 1997 .

[27]  Xiaorong Huang,et al.  Paraphrasing and Aggregating Argumentative Texts Using Text Structure , 1996, INLG.

[28]  William McCune,et al.  OTTER 3.0 Reference Manual and Guide , 1994 .