Omega MEGA: Towards a mathematical assistant
Benzmüller C, Huang X, Kohlhase M, Kerber M, Melis E, Siekmann J, Sorge V (1997)
Publication Status: Published
Publication Type: Conference contribution, Original article
Publication year: 1997
Book Volume: 1249
Pages Range: 252-255
Abstract
Omega MEGA is a mixed-initiative system with the ultimate purpose of supporting theorem proving in main-stream mathematics and mathematics education. The current system consists of a proof planner and an integrated collection of tools for formulating problems, proving subproblems, and proof presentation.
Authors with CRIS profile
Involved external institutions
University of Birmingham
United Kingdom (GB)
Freie Universität Berlin
Germany (DE)
Universität des Saarlandes (UdS)
Germany (DE)
United Kingdom (GB)
Freie Universität Berlin
Germany (DE)
Universität des Saarlandes (UdS)
Germany (DE)
How to cite
APA:
Benzmüller, C., Huang, X., Kohlhase, M., Kerber, M., Melis, E., Siekmann, J., & Sorge, V. (1997). Omega MEGA: Towards a mathematical assistant. (pp. 252-255).
MLA:
Benzmüller, Christoph, et al. "Omega MEGA: Towards a mathematical assistant." 1997. 252-255.
BibTeX: Download