模糊系统理论与模糊计算机

光学系统计算 译文集

符号计算系统Mathematica教程

系统可靠性实用计算方法

符号计算系统Maple教程

Maple是世界著名的符号计算数学软件之一，本书以Maple 10为版本，介绍了如何调用Maple函数作各种数学计算题，验证数学公式推导，演示函数图形以及编程。...

时滞微分方程Hopf分歧分析、周期解的计算及其数值动力系统

本书收集2003年上海大学的博士学位论文百余篇。

系统科学与系统管理丛书 延长的万物之尺 计算科学、经验主义与科学方法

“计算机模拟正在抢走固体物理学领域的诚实的实验家们的饭碗”——计算手段对科学的影响，使科学的很多分支进入了一个明显不同的发展阶段。这一变化的结果就是，在这个或那个领域，人类的能力不再是认识活动成功...

线性和非线性系统中过渡历程的数值近似计算法 迭推公式法

面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...

符号计算在可积系统中的应用

本书主要基于李代数上的符号计算，用不同的方法研究可积与超可积系统的可积耦合，利用源生成理论研究其自相容源和守恒律，基于分数阶微积分理论研究分数阶的可积系统与超可积系统，最后研究孤子方程的拟周期解。本...