数学机械化自动推理平台之几何软件
|
欢迎使用!
       MMP.doc(MMP/Geometry 软件说明及使用手册)
       MMP1.zip(MMP/Geometry Release版本一及实例)
       MMP2.zip(MMP/Geometry Release版本二及实例)
       MMP3.zip(MMP/Geometry Release版本三及实例)
       Blend.zip(MMP/曲面拟合拼接系统)
国家基础研究发展规划项目
"数学机械化与自动推理平台"
软件开发课题组