Learn More
  • AssistantChristoph, Benzm uller, +10 authors J. Siekmann
  • 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(More)