自动推理平台：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