 成果标注 |
||
| 实验室成员、博士后、研究生与得到实验室资助的论文、论著请务必包含下面标注方式之一: 数学机械化重点实验室 KLMM Key Lab of Mathematics Mechanization Key Laboratory of Mathematics Mechanization |
||
| 实验室年报
|
||
| 实验室年报是实验室历年工作的总结。主要包括：实验室构成、实验室工作、科研成果与获奖、论著和论文、科研项目、学术交流、讨论班、实验室人员学术任职等内容。 | ||
|
||
| 本网站收录实验室成员历年发表的论著与论文。 | ||
|
||
MM-Preprints收集实验室成员每年完成部分论文的预印本。每年出版一集，2004年后在网上发行，不再印刷。 |
||
|
||
| 《数学机械化从书》收录数学机械化各方面最新进展的专著，由中国科学出版社出版、由973项目“数学机械化方法及其在信息技术中的应用”与“数学机械化推广应用专项经费”资助。 | ||
| 图书资料 |
||
本网站收录实验室收藏的部分图书资料。 |
||