Omega MEGA: Towards a mathematical assistant

C Benzmuller, L Cheikhrouhou, D Fehrer,A Fiedler, XR Huang,M Kerber,M Kohlhase,K Konrad,A Meier,E Melis,W Schaarschmidt,J Siekmann,V Sorge

LECTURE NOTES IN ARTIFICIAL INTELLIGENCE（1997）

引用 0|浏览2

暂无评分

摘要

Omega 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.

查看译文

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要