-
中文图书1.费马大定理的证明与启示 O156-49/762
馆藏复本:1
可借复本:1 周明儒[著]
高等教育出版社 2007
(0) 馆藏 -
中文图书2.挑战思维极限:勾股定理的365种证明 O123.3/430
馆藏复本:2
可借复本:2 李迈新编著
清华大学出版社 2016
(0) 馆藏 -
中文图书3.实定理的复证明.影印版 O141/544
馆藏复本:2
可借复本:2 Peter D. Lax,Lawrence Zalcman[著]
高等教育出版社 2017
(0) 馆藏 -
中文图书4.几何定理机器证明的几何不变量方法 O18/165
馆藏复本:1
可借复本:1 张景中, 高小山, 周咸青著
科学出版社 2015
(0) 馆藏 -
中文图书5.从切比雪夫到爱尔特希.上,素数定理的初等证明 O156/731:V1
馆藏复本:2
可借复本:2 潘承彪著
哈尔滨工业大学出版社 2013
(0) 馆藏 -
中文图书6.从切比雪夫到爱尔特希.下.Ⅱ,素数定理的历史,The history of the prime number theorem O156/731
馆藏复本:1
可借复本:0 (法) 阿达玛, (日) 黑川信重, (澳) 陶哲轩著
哈尔滨工业大学出版社 2014.3
(0) 馆藏 -
中文图书7.费马大定理的证明与启示 O156/762
馆藏复本:5
可借复本:5 周明儒
高等教育出版社 2007
(0) 馆藏 -
中文图书8.交互式定理证明与程序开发:Coq归纳构造演算的艺术:coq'art: the calculus of inductive constructions O141/252
馆藏复本:3
可借复本:3 Yves Bertot,Pierre Casteran著
清华大学出版社 2010
(0) 馆藏 -
中文图书9.非线性代数方程组与定理机器证明 O175/4601
馆藏复本:5
可借复本:0 杨路等著
上海科技教育出版社 1996.9
(0) 馆藏