欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Computational mathematics
来自开放百科 - 灰狐
您可以在Wikipedia上了解到此条目的英文信息 Computational mathematics Thanks, Wikipedia. |
computational mathematics 计算数学
计算数学是数学的一个分支,研究的内容包括设计和分析算法以及数学建模等,目的是为了在实际工程中利用快速稳定的算法得到精确值的近似值。在计算机科学高度发展的今天,其基础计算理论的发展使计算数学进入现代化阶段。
主要方面
计算数学的几个主要方面
- 逼近论与函数逼近
- 非线性方程求解
- 矩阵及特征值理论
- 最优化及其算法
- 微分方程及其数值解
- 建立在上面基础之上的数学建模及其应用
学校
链接
分享您的观点