检索到 8 条 题名=数学机械化 的结果
-
中文图书1.吴文俊全集,数学机械化卷.Ⅲ,Mathematics mechanization.Ⅲ:数学机械化 O1-53/14
馆藏复本：1
可借复本：1 吴文俊著
科学出版社 2019
(0) 馆藏 -
中文图书2.不等式机器证明与自动发现 O178-39/1
馆藏复本：0
可借复本：0 杨路，夏壁灿著
科学出版社 2008
(0) 馆藏 -
中文图书3.消去法及其应用 O241.6/4
馆藏复本：0
可借复本：0 王东明著
科学出版社 2002
(0) 馆藏 -
中文图书4.消去法及其应用
馆藏复本：0
可借复本：0 王东明著
科学出版社 2002.8
(0) 馆藏 -
中文图书5.多项式系统的实根分离算法及其应用 O174.14/1
馆藏复本：2
可借复本：2 陆征一， 何碧， 罗勇著
科学出版社 2004
(0) 馆藏 -
中文图书6.实域论 O156.2/3
馆藏复本：2
可借复本：2 曾广兴著
科学出版社 2003
(0) 馆藏 -
中文图书7.可积系统与计算机代数 O175.2/1
馆藏复本：2
可借复本：2 范恩贵著
科学出版社 2004
(0) 馆藏 -
中文图书8.近世计算理论导引:NP难度问题的背景、前景及其求解算法研究 TP301.5/1
馆藏复本：2
可借复本：2 黄文奇，许如初著
科学出版社 2004
(0) 馆藏
