大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 符号计算 的图书(共8本)

符号计算程序分析 : 在线性代数、矩阵论中的应用

0
索取号:O245/20126
作者:智慧来、智东杰、
出版社:北京 : 科学出版社, 2012

计算理论与符号逻辑

0
索取号:TP301.6/201211
作者:张兴元、王元元、宋丽华、
出版社:北京 : 科学出版社, 2011

符号计算系统Maple教程

0
索取号:O245/20085
作者:张韶华、王新茂、
出版社:合肥 : 中国科学技术大学出版社, 2007

不等式机器证明与自动发现

0
索取号:O178/20081
作者:杨路、夏壁灿、
出版社:北京 : 科学出版社, 2008

计算机代数基础 : 代数与符号计算的基本原理

0
索取号:650745
作者:张树功、刘停战、雷娜、
出版社:北京 : 科学出版社, 2005

符号计算选讲

0
索取号:609364
作者:王东明、杨路、李志斌、侯晓荣、
出版社:北京 : 清华大学出版社, 2003

符号计算系统Mathematica教程

0
索取号:O245/20022
作者:张韵华、
出版社:北京 : 科学出版社, 2001

非线性代数方程组和定理机器证明

0
索取号:630036
作者:杨路、张景中、侯晓荣、
出版社:上海 : 上海科技教育出版社, 1996
最近添加的分类