登录
当前位置： 首页 > 工具软件 > Axiom计算机代数系统 > 使用案例 >

计算机代数系统比较

颛孙铭
2023-12-01

[原文链接]  --- 摘录于维基百科

常规

系统作者开始开发第一次发布最近的稳定版发布价格 (USD)开源许可注释
 作者开始开发第一次发布最近的稳定版发布价格 (USD)开源许可注释
AlgebratorNeven Jurkovic198619992009 (4.2)$58.99否专有初等代数；分步解答
AxiomTim Daly1971200203 2012免费是修改的BSD许可证2007年复刻到OpenAxiom和FriCAS
CadabraKasper Peeters200120072011 (1.29)免费是GPL张量代数，场论
ClassPad ManagerCASIO199920013.03 (2008)$45.45否专有 
CoCoAThe CoCoA Team198719952007 (4.7.3)免费是GPL用于多项式计算
DeriveSoft Warehouse1979198811 2007(6.1)停产否专有由TI拥有；在2007年停产
DoConSerge D. Mechveliani199319952.11免费是非OSI批准的许可证Haskell厍
DCASRobert Fenichel ?20052005 (1.0)免费是GPL 
EigenmathGeorge Weigt200420052010 (137)免费是GPL支持的操作系统: Windows, Mac, Android, Poket PC, Nintendo DS[1]
Euler Math ToolboxR. Grothmann198719882011 (12.3)免费是GPL数值和区间运算，矩阵语言，使用Maxima进行符号运算
FermatRobert H. Lewis198619932010(3.9.9x)若提供补助金$60，否则$0否专有多项式，矩阵
FORMJ.A.M. Vermaseren198419893.3免费是GPL高速，任意长度的表达式，多线程
Franklin MathAllen Franklin Jordan2008200903 2011(0.11)免费是GPL符号和数值运算，绘图，函数
FriCASWaldek Hebisch200720072012 (1.1.6)免费是修改的BSD许可证2007年复刻自Axiom
GAPGAP Group198619862008(4.4.12)免费是GPL群论，特征理论，离散数学
JACALAubrey Jaffer198919912010 (1c2)免费是GPL基于Scheme
JasymcaHelmut Dersch200320062011 (3)免费是GPL代数，微积分，多项式，矩阵，绘图
Java Algebra SystemHeinz Kredel200020052.0免费是GPL或LGPL交换和非交换，Gröbner基，最大公因子，Java库
KANT/KASHKANT Group ? ?KASH3 (2005/2008)非商业使用免费否自己的许可证代数数论
LiveMath
(formerly Theorist)		Math Monkeys ?19912007 (3.5.9)$149，学生版$45(1年)否专有交互的求解和绘图
Macaulay2Daniel Grayson and Michael Stillman199219942010 (1.4)免费是GPL代数几何，交换代数
MacsymaMIT Project MAC和Symbolics196819781999 (2.4)$500否专有基于Lisp。开源软件Maxima的前身。
Magma悉尼大学~199019932011 (2.17)$1,150否专有代数，密码学，群论，数论
Magnus Computational Group Theory PackageThe New York Group Theory Cooperative1994 ?2009免费是GPL有限群论
Maple滑铁卢大学的符号运算小组198019842011 (15.01)$2,275 (商业版), $2,155 (政府版), $1245(高校版), $239 (个人版), $99 (学生版), $79 (学生版,12月的期限)[2]否专有库源代码是可见的
MASHeinz Kredel, Michael Pesch1989 ?1998 (1.01)免费?未详细说明可得到Modula-2的源代码
MathCadParametric Technology Corporation198519852010 (15)$1,195[3]否专有标准的数学符号，绘图，智能单元的计算
MathEclipse/SymjaAxel Kramer200220022007免费是CPLJAVA的符号运算库（使用JAS和Apache Commons-Math）
MathematicaWolfram Research198619882011 (8.0.4)$2,495 (专业版), $1095 (教育版), $140 (学生版), $69.95 (学生版每年的许可证) [4] $295 (个人版)[5]否专有系统还包括了广泛的数值运算，统计学，图像处理，数论，布尔运算和开发环境。
MathinationOrion Math201020102010 (1.0)$4.99否专有基本代数，用于iPad，支持多点触控处理方程。
Mathiverse CalculatorMathiverse200920092009 (0.0.1)免费否专有处理复数
MathomaticGeorge Gesslein II198619872012(15.8.2)免费是LGPL处理初等代数，微积分，复数和多项式
MathPiperTed Kosan, Sherm Ostrowsky200820102010 (.80n)免费是GPL专门为教育而设计。
MathXpertMichael Beeson198519972008 (3.0.4)Algebra Assistant $49.95, Calculus Assistant $89.95[6]否专有分步解答，正确的绘图，为结果的逻辑正确性而跟踪假设
MaximaMIT Project MAC and Bill Schelter et al.196719982011 (5.25)免费是GPL基于Common Lisp的全功能的CAS
meditorRaphael Jolly200020002.0_01免费是GPLJava符号运算库和数学编辑器
Microsoft Mathematics微软 ?20052011(4.0.1108)免费否专有初等代数和微积分；单位换算；绘图；分步解答
MuMATHSoft Warehouse1970s1980MuMATH-83停产否专有 
MuPADSciFace Software198920082008 (5.1)停产否专有MathWorks已把MuPAD的技术吸收到Symbolic Math Toolbox中
NCAlgebra and NCGBHelton, deOliveira,Stankus,Miller199019912010 (4.0)免费是NCAlgebraBSDMathematica中的非交换代数，非交换Groebner基，分块矩阵
NCLabFEMhub201120122012 (1.0)免费否专有全面的符号和数值计算方法，包括代数，微积分，微分方程
OpenAxiomGabriel Dos Reis200720072011 (1.4.1)免费是修改的BSD许可证2007年复刻自Axiom
PARI/GPHenri Cohen, Karim Belabas, Bill Allombert et al.198519902011 (2.5.0)免费是GPL数论，椭圆曲线任意精度计算
ReduceAnthony C. Hearn1960s19682009免费是修改的BSD许可证2008年12月起开源并且免费
SageWilliam A. Stein200520052012 (4.8)免费是GPL包括了广泛的数值运算，统计学，图像处理和数论，而且是一个通过HTTP或HTTPS使用基于网络的界面的开发环境
SINGULAR凯撒斯劳滕工业大学198419972011 (3.1.2)免费是GPL多项式，环，理想
SMath StudioAndrey Ivashov?20052012 (0.91)免费否Creative Commons Attribution-NoDerivs (CC-BY-ND)类似于MathCad的数学笔记本程序
SpaceTime MathematicsSpaceTime Mathematics200620092010 (4.0)$39, Windows Mobile Devices的版本免费且停产.否专有计算机代数和微积分，移动设备科学计算
Symbolic MATLABToolboxMathWorks198920082011(5.7(2011b))$2900 包括所需的MATLAB否专有提供解答和处理符号数学表达式和执行可变精度运算的工具。
SymbolicC++W.-H. Steeb199719972009 (3.29)免费是GPL基于C++
SymPyOndřej Čertík200620072011 (0.7.1)免费是修改的BSD许可证基于Python
SympyCorePearu Peterson200820082008 (0.1)免费是修改的BSD许可证基于Python
TI-Nspire CAS (Computer Software)德州仪器200620093.1.0.392 否专有Derive的继承者。基于Derive的引擎，用于TI-89/Voyager 200和手持的TI-Nspire
Wolfram AlphaWolfram Research 20092012专业版：$4.99/月, 为学生提供的专业版：$2.99/月, 普通版免费。否专有在线计算机代数系统，提供分步解答。
WIRISMaths for More199720012.0 否专有在线计算机代数系统和动态几何软件
XcasBernard Parisse200420082011 (0.9.4)免费是GPLMaple、MuPAD和TI89语法兼容模式。符号电子表格，与其他程序一起使用的Giac库。用于使用Linux或WinCE的PDA的ARM端口[7]
mathHandbook.comDrHuang.com1998

[8]

 ?2012 (3.4)免费是GPL 

这些计算机代数系统有时结合了一个提供良好的用户界面的“前端”程序，例如多功能的GNU TeXmacs.

函数功能比较

以下是各系统中重要的符号功能的摘要。

系统公式编辑器高精度计算微积分程序求解图论数论量词消去布尔代数张量概率控制理论
积分积分变换方程不等式丢番图方程微分方程递推关系式
Axiom否是是是是 ? ? ? ? ? ? ? ? ? ? ?
Algebrator是否否否是是否否否否否否否否 ? ?
Cadabra是否否否否否否否否否否否否是 ? ?
FriCAS否是是是是否 ?是 ? ? ? ? ? ? ? ?
JACAL否否否否否否否否否否否否否是 ? ?
Jasymca否否是是是否否是否否否否否否 ? ?
Magma否是否否是否是否否是是否否否 ? ?
Maple是是是是是是否是是是是否否是是是
MathCad是否是否是否否否否否否否否否否否
MathEclipse否是否否否否否否否否否否否否 ? ?
Mathematica是是是是是是是是是是是是是是是是
Mathomatic否否是是是否否否否否是否否否否否
Symbolic MATLAB toolbox否是是是是否否是 ?否 ?否否 ? ? ?
Maxima否是是是是是否是否是是是否是 ? ?
Microsoft Mathematics是否是否是是否否否否否否是否 ? ?
Sage是是是是是是否是是是是是是是否否
SymPy否是是是是是是是是否是否是是是否
Wolfram Alpha仅限专业版是是是是是 ?是是是是是是否 ? ?
Yacas否是是否否否否否否否否否否否 ? ?
Xcas是是是否是是否是是否是否否否 ? ?

操作系统支持

这些软件不需要模拟器就可以与宁与相应的操作系统。有些系统必须先用于其源语言和目标平台适合的编译器编译。

系统WindowsMac OS XLinuxBSDSolaris其他
 WindowsMac OS XLinuxBSDSolaris其他
Algebrator是是是否否?
Axiom是是是否否?
Cadabra否是是是是?
ClassPad Manager是否否否否?
CoCoA是是是是是Tru64 UNIX, HP-UX, IRIX
Derive是否否否否?
DoCon??是???
DCAS是?????
Eigenmath是是否否否?
Euler是否否否否?
Fermat是是是否是 (仅限SPARC)?
FORM否是是是是?
Franklin Math是是是是是所有支持Java的系统
FriCAS是是是是是?
GAP是是是是是?
JACAL是是是是是?
Jasymca是是是是是所有支持Java的系统
Java Algebra System是是是是是所有支持Java的系统
KANT/KASH是是是否否否
Macaulay2是是是是是?
Magma是是是是是?
Magnus??是???
Maple是是是否是否
Mathcad是否否否否否
MathEclipse是是是是是所有支持Java的系统
Mathematica是是是否否否
Mathomatic是是是是是所有POSIX平台
MathXpert是否否否否?
Maxima是是是是是所有带有Common Lisp的POSIX平台
Meditor是是是是是?
Microsoft Mathematics是否否否否?
MuMATH否否否否否?
MuPAD是是是否否?
OpenAxiom是是是是是?
PARI/GP是是是是是?
Reduce是是是是是?
Sage否是是否是为MS-Windows用户提供VMware虚拟机
SINGULAR是是是是是?
SMath Studio是否是否否支持多种手持设备
SymbolicC++是是是是是?
Symbolic MATLABtoolbox是是是是是?
SymPy是是是是是所有支持Python的系统
SympyCore是是是是是所有支持Python的系统
TI-Nspire (desktop software)是是否否否?
WIRIS是是是是是?
Xcas是是是是是?
Yacas是是是是是?

图形计算器

一些图形计算器也有CAS的特点。

系统作者开始开发第一次发布最近的稳定版发布价格 (USD)开源许可注释
Casio CFX-9970GCASIO Computer Co.?1998  否专有 
Casio Algebra FX 2.0CASIO Computer Co.?1999  否专有 
Casio ClassPad 330CASIO Computer Co.?20033.04.5000$140否专有此外还有一个在PC上运行的模拟器：“ClassPad Manager”
HP 49 seriesHewlett-Packard?19992.15$110以上是[h 1]专有，但有一些LGPL基于Erable。针对工程应用中出现的问题。也用于HP-50计算器。
TI-89德州仪器?19962.09不再生产否专有 
TI-89 Titanium德州仪器?20043.10$150否专有 
TI-92德州仪器?1995?不再生产否专有 
TI-92 Plus德州仪器199719982.09不再生产否专有 
TI-Nspire CAS德州仪器200620082.0.1.60$160否专有TI-Nspire CAS 手持计算器有一个内置的处理数学符号表达式计算机代数系统。功能包括符号运算和标准的数值运算。
Voyage 200德州仪器200120023.10$150否专有 
ZoomMath300IQ Joe? ?1.03$60否专有增加CAS功能的的TI-83和TI-84应用程序
  1. ^ 有几种不同的开源的定义。HP49 CAS的源代码向公众开放, 但某些部分的使用被专有许可限制。 因此, 这样的源代码不完全符合所有开源的定义。
 类似资料：

相关阅读

不良系统设计上的代码重构PHP统计代码行数的小代码MySQL计算百分比小数系统每天计算/统计mysql结果

相关文章

系统设计的10考虑操作系统调度算法计算机基础面试Redis基数统计NumPy统计函数

相关问答

操作系统 - 计算机常见的高进制为什么是 8 、16 呢？Android系统——从上一个日期开始计算天数、月数和年数并行计算列的统计量百分比计算误差为什么主机系统上的 lua 比在 linux vm 中慢？

相关文档

学习计算机编程计算机科学的基础Android 开机 和 编译系统 和 binderROS 机器人操作系统 理论与实践蓝天数据采集发布系统
快捷导航： 新手教程 算法原理 架构设计 Java进阶 数据库进阶 大厂专栏 面试经验 编程笔记 编程问答 所有专题 文档资料 工具软件 电子书籍 小牛导航
在线工具： 房贷计算器 个税计算器 Linux命令查询 Json格式化 正则表达式 颜色转换 AES加解密 SHA1加密 MD5加密 毒鸡汤 字数统计 随机密码生成 进制转换 Base64编解码 励志句子
Copyright © 2019-2024 小牛知识库@xnip.cn. All Rights Reserved.