-
中文图书1.Hadwiger定理 O1/183
馆藏复本:2
可借复本:2 刘培杰数学工作室编
哈尔滨工业大学出版社 2024
(0) 馆藏
-
中文图书2.Selberg定理:素数定理的初等证明:the elementary proofs of the prime number theorem O156.2/26
馆藏复本:3
可借复本:2 潘承彪,潘承洞著
哈尔滨工业大学出版社 2021
(0) 馆藏
-
中文图书3.鸡爪定理 O123.1/2
馆藏复本:3
可借复本:3 金磊著
哈尔滨工业大学出版社 2020
(0) 馆藏
-
中文图书4.论初等几何定理的机器证明与消去法 O123/13
馆藏复本:4
可借复本:4 朱望规著
国防工业出版社 2016
(0) 馆藏
-
中文图书5.挑战思维极限:勾股定理的365种证明 O123.3/3
馆藏复本:3
可借复本:3 李迈新编著
清华大学出版社 2016
(0) 馆藏
-
中文图书6.泽肯多夫定理 O1/45
馆藏复本:3
可借复本:3 刘培杰数学工作室编著
哈尔滨工业大学出版社 2016
(0) 馆藏
-
中文图书7.几何定理机器证明的基本原理,初等几何部分 O18-39/1
馆藏复本:3
可借复本:3 吴文俊著
科学出版社 1984
(0) 馆藏