-
中文图书1.吴文俊全集,数学机械化卷.Ⅳ,Mathematics mechanization.IV:几何定理机器证明的基本原理 O1-53/7-4
馆藏复本:2
可借复本:1 吴文俊著
科学出版社 2019
(0) 馆藏
-
中文图书2.素数定理的初等证明.第2版 O156.2/11=2
馆藏复本:3
可借复本:2 潘承彪, 潘承洞著
哈尔滨工业大学出版社 2017
(0) 馆藏
-
中文图书3.挑战思维极限:勾股定理的365种证明 O123.3/4
馆藏复本:3
可借复本:2 李迈新编著
清华大学出版社 2016
(0) 馆藏
-
中文图书4.论初等几何定理的机器证明与消去法 O123/20
馆藏复本:3
可借复本:2 朱望规著
国防工业出版社 2016
(0) 馆藏
-
中文图书5.几何定理机器证明的几何不变量方法 O18-39/1
馆藏复本:2
可借复本:1 张景中, 高小山, 周咸青著
科学出版社 2015
(0) 馆藏
-
中文图书6.交互式定理证明与程序开发:Coq归纳构造演算的艺术 O141-39/1
馆藏复本:2
可借复本:2 Yves Bertot,Pierre Casteran著
清华大学出版社 2010
(0) 馆藏