mega : Towards a Mathematical

  title={mega : Towards a Mathematical},
  author={AssistantChristoph and Benzm uller and Lassaad Cheikhrouhou and Detlef Fehrer and Armin Fiedler and Xiaorong Huang and Manfred Kerber and Michael Kohlhase and Karsten Konrad and Andreas Meier and Erica Melis and Wolf Schaarschmidt and J. Siekmann},
  • AssistantChristoph, Benzm uller, +10 authors J. Siekmann
  • Published 1997
mega is a mixed-initiative system with the ultimate purpose of supporting theorem proving in mainstream 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. 

From This Paper

Topics from this paper.


Publications referenced by this paper.
Showing 1-2 of 2 references

Presenting machine - found proofs

  • M. Kohlhase, E. Melis, D. Nesmith, J. Richts
  • 1996

Siekmann . - MKRP a proof development environment

  • V. Sorge
  • 1994

Similar Papers

Loading similar papers…