Ω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: | 65 - 31 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}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
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.
Citations
| 258 | The Use of Explicit Plans to Guide Inductive Proofs - Bundy - 1988 |
| 254 | Otter 3.0 Reference Manual and Guide - McCune - 1994 |
| 23 | Presenting machine-found proofs, in - Huang, Fiedler - 1996 |
| 15 | Integrating computer algebra with proof planning - Kerber, Kohlhase, et al. - 1996 |
