数学机械化自动推理平台之几何软件

 

欢迎使用!

 

       MMP.doc(MMP/Geometry 软件说明及使用手册)

       MMP1.zip(MMP/Geometry Release版本一及实例)

       MMP2.zip(MMP/Geometry Release版本二及实例)

       MMP3.zip(MMP/Geometry Release版本三及实例)

       Blend.zip(MMP/曲面拟合拼接系统)

 

国家基础研究发展规划项目

"数学机械化与自动推理平台"

软件开发课题组