检索到 11 条 丛书名=数学机械化丛书 的结果
-
中文图书1.分析基础机器证明系统 O171/4702
馆藏复本：1
可借复本：1 郁文生, 付尧顺, 郭礼权著
科学出版社 2022
(0) 馆藏 -
中文图书2.几何定理机器证明的几何不变量方法 O18-39/1265/ 1
馆藏复本：1
可借复本：1 张景中, 高小山, 周咸青著
科学出版社 2015
(0) 馆藏 -
中文图书3.复杂非线性波的构造性理论及其应用 O534/3751
馆藏复本：3
可借复本：2 闫振亚著
科学出版社 2007
(0) 馆藏 -
中文图书4.可积系统与计算机代数 O175.2/4465
馆藏复本：5
可借复本：4 范恩贵著
科学出版社 2004
(0) 馆藏 -
中文图书5.不等式机器证明与自动发现 O178/4767
馆藏复本：3
可借复本：2 杨路, 夏壁灿著
科学出版社 2008
(0) 馆藏 -
中文图书6.进程代数:对称与动作细化 TP301.6/1033
馆藏复本：5
可借复本：4 王永祥, 吴尽昭, 蒋建民著
科学出版社 2007
(0) 馆藏 -
中文图书7.近世计算理论导引:NP难度问题的背景、前景及其求解算法研究 TP301.6/4404
馆藏复本：5
可借复本：4 黄文奇, 许如初著
科学出版社 2004
(0) 馆藏 -
中文图书8.方程求解与机器证明:基于MMP的问题求解 O122.2/0092
馆藏复本：3
可借复本：2 高小山 ... [等] 著
科学出版社 2006
(0) 馆藏 -
中文图书9.多项式系统的实根分离算法及其应用 O174.14/7521
馆藏复本：5
可借复本：4 陆征一, 何碧, 罗勇著
科学出版社 2004
(0) 馆藏 -
中文图书10.消去法及其应用 O241.6/1046
馆藏复本：4
可借复本：3 王东明著
科学出版社 2002
(0) 馆藏 -
中文图书11.交互式马尔可夫链:并发系统的设计、验证与评价 O211.62/6076
馆藏复本：5
可借复本：4 吴尽昭, 王永祥, 覃广平著
科学出版社 2007
(0) 馆藏
