Ω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.
CITATION STYLE
Benzmüller, C., Cheikhrouhou, L., Fehrer, D., Fiedler, A., Huang, X., Kerber, M., … Sorge, V. (1997). ΩMEGA: Towards a mathematical assistant. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1249, pp. 252–255). Springer Verlag. https://doi.org/10.1007/3-540-63104-6_23
Mendeley helps you to discover research relevant for your work.