欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Computer algebra system
来自开放百科 - 灰狐
（版本间的差异）
小 (→文档) |
小 (→项目) |
||
| （未显示1个用户的2个中间版本） | |||
| 第12行： | 第12行： | ||
==项目== | ==项目== | ||
*[[Maxima]] | *[[Maxima]] | ||
| + | *[[SageMath]] | ||
*[https://www.gap-system.org/ GAP] | *[https://www.gap-system.org/ GAP] | ||
*[https://github.com/Singular/Singular Singular] computer algebra system | *[https://github.com/Singular/Singular Singular] computer algebra system | ||
| 第27行： | 第28行： | ||
==书籍== | ==书籍== | ||
| − | * | + | *《计算机代数系统数学原理》内容包含高精度运算、数论、数学常数、精确线性代数、多项式、方程求解、符号求和、符号积分、微分方程符号解等九大部分, 涵盖了构建计算机代数系统的最基础也是最重要的内容。李超 阮威 张龙 张翔 |
==图集== | ==图集== | ||
| 第37行： | 第38行： | ||
[[category:mathematics]] | [[category:mathematics]] | ||
| + | [[category:algebra]] | ||
2023年4月19日 (三) 02:48的最后版本
|
您可以在Wikipedia上了解到此条目的英文信息 Computer algebra system Thanks, Wikipedia. |
Computer algebra system(CAS)
目录 |
[编辑] 简介
Computer algebra system(CAS) 计算机代数系统是进行符号运算的软件，商业软件有 Mathematica 和 Maple。
通常计算机代数系统也能進行一些数值运算，但速度通常較MATLAB、GNU Octave或C语言中以同样方式运行的程序慢。
注意：符号运算、数值运算的区别。
[编辑] 项目
[编辑] 相关
数值运算系统和编程语言：
[编辑] 文档
[编辑] 书籍
- 《计算机代数系统数学原理》内容包含高精度运算、数论、数学常数、精确线性代数、多项式、方程求解、符号求和、符号积分、微分方程符号解等九大部分, 涵盖了构建计算机代数系统的最基础也是最重要的内容。李超 阮威 张龙 张翔
[编辑] 图集
GAP
[编辑] 链接
分享您的观点
