DMCA
ΩMEGA: Towards a Mathematical Assistant (1997)
by
Christoph Benzmüller
,
Lassaad Cheikhrouhou
,
Armin Fiedler
,
Xiaorong Huang
,
Manfred Kerber
,
Karsten Konrad
,
Andreas Meier
,
Erica Melis
,
Volker Sorge, et al.
| Citations: | 69 - 30 self |
BibTeX
@MISC{Benzmüller97ωmega:towards,
author = {Christoph Benzmüller and Lassaad Cheikhrouhou and Armin Fiedler and Xiaorong Huang and Manfred Kerber and Karsten Konrad and Andreas Meier and Erica Melis and Volker Sorge and et al.},
title = {ΩMEGA: Towards a Mathematical Assistant},
year = {1997}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Ω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.
