-
中文图书1.Hurwitz定理 O174.14/0244/ 1
馆藏复本:1
可借复本:1 刘培杰数学工作室编
哈尔滨工业大学出版社 2018
(0) 馆藏 -
中文图书2.Alexandrov定理:平面凸图形与凸多面体:plane convex figure and convex polyhedron O18/4746
馆藏复本:2
可借复本:2 杨世明编译
哈尔滨工业大学出版社 2018
(0) 馆藏 -
中文图书3.Kummer定理 O1/0244/ 3
馆藏复本:1
可借复本:1 刘培杰数学工作室编译
哈尔滨工业大学出版社 2018
(0) 馆藏 -
中文图书4.Zernov定理 O1/0244/ 2
馆藏复本:1
可借复本:1 刘培杰数学工作室编
哈尔滨工业大学出版社 2018
(0) 馆藏 -
中文图书5.Leibniz定理 O172/0244/ 3
馆藏复本:1
可借复本:1 刘培杰数学工作室编
哈尔滨工业大学出版社 2018
(0) 馆藏 -
中文图书6.挑战思维极限:勾股定理的365种证明 O123.3/4030
馆藏复本:2
可借复本:2 李迈新编著
清华大学出版社 2016
(0) 馆藏 -
中文图书7.代数几何中的Bézout定理 O187/2755
馆藏复本:2
可借复本:2 佩捷, 吴雨辰, 李舒畅编著
哈尔滨工业大学出版社 2016
(0) 馆藏 -
中文图书8.定理机器证明 TP11/0282
馆藏复本:4
可借复本:3 刘叙华, 姜云飞编著
科学出版社 1987
(0) 馆藏 -
中文图书9.素数定理的初等证明 O156.1/3213
馆藏复本:9
可借复本:8 潘承洞, 潘承彪著
上海科学技术出版社 1988
(0) 馆藏 -
中文图书10.几何的有名定理 O18/8062
馆藏复本:6
可借复本:5 (日) 矢野健太郎著
上海科学技术出版社 1986
(0) 馆藏 -
中文图书11.几何定理机器证明的几何不变量方法 O18-39/1265/ 1
馆藏复本:1
可借复本:1 张景中, 高小山, 周咸青著
科学出版社 2015
(0) 馆藏 -
中文图书12.数学分析中的重要定理 O17/4754
馆藏复本:3
可借复本:3 杨艳萍, 明清河著
电子工业出版社 2015
(0) 馆藏 -
中文图书13.几何定理机器证明的基本原理,初等几何部分 O18/6002
馆藏复本:7
可借复本:5 吴文俊著
科学出版社 1984
(0) 馆藏 -
中文图书14.费马大定理的证明与启示 O1-49/4043#3
馆藏复本:3
可借复本:2 周明儒
高等教育出版社 2007
(0) 馆藏 -
中文图书15.几何定理计算机证明 O18-39/1975
馆藏复本:5
可借复本:4 孙熙椿编著
科学出版社 2007
(0) 馆藏 -
中文图书16.微积分定理公式证明辞典 O172-61/7702
馆藏复本:6
可借复本:5 (日) 屉部贞市郎编
吉林人民出版社 1983
(0) 馆藏 -
中文图书17.强偏差定理与分析方法 O211.1/0200
馆藏复本:7
可借复本:6 刘文著
科学出版社 2003
(0) 馆藏 -
中文图书18.力量:改变人类文明的50大科学定理 N49/4062/ 1
馆藏复本:5
可借复本:5 编著李啸虎, 田廷彦, 马丁玲
上海文化出版社 2005
(0) 馆藏 -
中文图书19.交互式定理证明与程序开发:Coq归纳构造演算的艺术:Coq'art: the calculus of inductive constructions O141-39/1440
馆藏复本:3
可借复本:2 Yves Bertot, Pierre Casteran著
清华大学出版社 2010
(0) 馆藏