数学机械化自动推理平台

欢迎使用!

 

自动推理平台:MMP

MMP3.0

 

自动推理平台的应用程序

MMP/Geometer.zip(MMP/Geometer 版本及实例)

MMP/Blending.rar(MMP/Blending自动生成过渡曲面)

MMP/Robot.zip (MMP/Robot: 机器人模拟)

MMP/Linkage.zip(MMP/Linkage: 四连杆综合与模拟模块)

examples.txt测试例题

 

其它软件

Geometry Expert

Java Geometry Expert

 

 

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

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

软件开发课题组