欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Computer algebra system
来自开放百科 - 灰狐
(版本间的差异)
小 (→项目) |
小 (→项目) |
||
(未显示1个用户的6个中间版本) | |||
第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/sympy/sympy SymPy] | *[https://github.com/sympy/sympy SymPy] | ||
第18行: | 第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语言中以同样方式运行的程序慢。
注意:符号运算、数值运算的区别。
[编辑] 项目
[编辑] 相关
数值运算系统和编程语言:
[编辑] 文档
[编辑] 书籍
- 《计算机代数系统数学原理》内容包含高精度运算、数论、数学常数、精确线性代数、多项式、方程求解、符号求和、符号积分、微分方程符号解等九大部分, 涵盖了构建计算机代数系统的最基础也是最重要的内容。李超 阮威 张龙 张翔
[编辑] 图集
[编辑] 链接
分享您的观点