欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Computer algebra system
来自开放百科 - 灰狐
（版本间的差异）
小 (→项目) |
小 (→项目) |
||
| （未显示1个用户的5个中间版本） | |||
| 第1行： | 第1行： | ||
{{SeeWikipedia}} | {{SeeWikipedia}} | ||
| + | Computer algebra system(CAS) | ||
| + | |||
| + | ==简介== | ||
Computer algebra system(CAS) 计算机代数系统是进行符号运算的软件，商业软件有 [[Mathematica]] 和 [[Maple]]。 | Computer algebra system(CAS) 计算机代数系统是进行符号运算的软件，商业软件有 [[Mathematica]] 和 [[Maple]]。 | ||
| 第9行： | 第12行： | ||
==项目== | ==项目== | ||
*[[Maxima]] | *[[Maxima]] | ||
| + | *[[SageMath]] | ||
| + | *[https://www.gap-system.org/ GAP] | ||
*[https://github.com/Singular/Singular Singular] computer algebra system | *[https://github.com/Singular/Singular Singular] computer algebra system | ||
*[https://github.com/sympy/sympy SymPy] | *[https://github.com/sympy/sympy SymPy] | ||
| 第19行： | 第24行： | ||
*[[Julia]] | *[[Julia]] | ||
*[[F Sharp|F#]] | *[[F Sharp|F#]] | ||
| + | |||
| + | ==文档== | ||
| + | |||
| + | ==书籍== | ||
| + | *《计算机代数系统数学原理》内容包含高精度运算、数论、数学常数、精确线性代数、多项式、方程求解、符号求和、符号积分、微分方程符号解等九大部分, 涵盖了构建计算机代数系统的最基础也是最重要的内容。李超 阮威 张龙 张翔 | ||
| + | |||
| + | ==图集== | ||
| + | <gallery> | ||
| + | image:GAP.png|GAP | ||
| + | </gallery> | ||
==链接== | ==链接== | ||
[[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
[编辑] 链接
分享您的观点
