首页
|
English
|
中国科学院
实验室年报
论著与论文
MM-Preprints
数学机械化丛书
图书资料
软件
当前位置:
首页
>
科研成果
>
出版物与软件
>
软件
• 数学机械化自动推理平台(MMP)
2014-06-23
• Geometry Expert (GEX)
2014-06-23
<共1页>
Copyright© 中国科学院数学机械化重点实验室
地址:北京市海淀区中关村东路55号 邮编:100190
电话:86- 10-82541851 传真:86-10-82541809
京ICP备05002806号-1