« CAS » : différence entre les versions

Un moteur CAS se compose de 5 piliers ou briques essentielles:

 

: TI appelle ce principe le [[MathPrint]] où parfois [[PrettyPrint]]. Il s'agit ici de permettre à l'utilisateur d'entrer ses calculs dans une notation qui est la même que celle des livres de maths, avec des nombres ou expressions en exposant placées en haut, des fractions à étages, des racines recouvrant les expressions, des intégrales et des sommes avec leurs bornes dessous et dessus, etc... Et pas seulement avec des fonctions suivies d'arguments.

! [[Axiom (computer algebra system)|Axiom]]

! [[CoCoA System|CoCoA]]

| Specialized CAS for [[commutative algebra]]

! [[Derive (computer algebra system)|Derive]]

! [[Euler (software)|Euler Math Toolbox]]

| Numerical software linked to [[Maxima (software)|Maxima]]

! [[Fermat (computer algebra system)|Fermat]]

| Specialized CAS for [[resultant]] computation and [[linear algebra]] with [[polynomial]] entries

! [[FORM (symbolic manipulation system)|FORM]]

| CAS designed mainly for [[particle physics]]

! [[GAP computer algebra system|GAP]]

| Specialized CAS for [[group theory]] and [[combinatorics]]. Subpackage of Sage<ref name=sagepack>[http://www.sagemath.org/links-components.html Sage components]</ref>

! [[KANT (mathematics)|KANT/KASH]]

| ?

| ?

| Specialized CAS for [[algebraic number theory]]

! [[LiveMath]]<br/>(formerly Theorist)

| ?

! [[Macaulay2]]

| Specialized CAS for [[algebraic geometry]] and [[commutative algebra]]

! [[Macsyma]]

| [[MIT Project MAC]] and [[Symbolics]]

| The oldest general purpose CAS. Was the state of the art during almost 20 years. Still alive as [[Maxima (software)|Maxima]]

! [[Magma computer algebra system|Magma]]

| [[University of Sydney]]

| General purpose CAS, originally specialized in [[group theory]]. Works with elements of [[algebraic structure]]s rather than with non typed [[expression (mathematics)|mathematical expressions]]

! [[Maple (software)|Maple]]

| Symbolic Computation Group, [[University of Waterloo]]

| $2,275 (Commercial), $2,155 (Government), $1245(Academic), $239 (Personal Edition), $99 (Student), $79 (Student, 12-Month term)<ref>{{cite web | url=https://webstore.maplesoft.com | title=Maplesoft Web Store | accessdate=2011-10-21}}</ref>

! [[Mathcad]]

| [[Parametric Technology Corporation]]

| $1,195<ref>{{cite web | url=http://store.ptc.com | title=Parametric Technology Corporation Web Store | accessdate=2008-06-28}}</ref>

|  [[Numerical software]] with some CAS capabilities

! [[Mathematica]]

| [[Wolfram Research]]

| $2,495 (Professional), $1095 (Education), $140 (Student), $69.95 (Student annual license) <ref>{{cite web | url=http://store.wolfram.com | title=Wolfram Worldwide Web Store | accessdate=2008-11-20}}</ref> $295 (Personal)<ref>[http://www.macworld.com/article/138664/2009/02/mathematica.html Mathematica Home Edition Released] Macworld, Feb 2009</ref>

! [[Mathomatic]]

| [[Elementary algebra]], [[calculus]], [[complex number]] and [[polynomial]] manipulations.

! [[Maxima (software)|Maxima]]

| [[MIT Project MAC]] and [[Bill Schelter]] et al.

| General purpose CAS. Continuation of [[Macsyma]]. Subpackage of Sage.<ref name=sagepack />

! [[MuMATH]]

| Predecessor of [[Derive (computer algebra system)|Derive]]

! [[MuPAD]]

| [[MathWorks]] has incorporated MuPAD technology into Symbolic Math Toolbox

! [[Axiom (computer algebra system)#Software forks|OpenAxiom]]

| {{free|modified [[BSD licenses|BSD license]]}}

! [[PARI/GP]]

| [[Henri Cohen (number theorist)|Henri Cohen]], Karim Belabas, Bill Allombert et al.

| Specialized CAS for [[Number theory]]. A major reference in this domain. Subpackage of Sage.<ref name=sagepack />

! [[Reduce (computer algebra system)|Reduce]]

| {{free|modified [[BSD licenses|BSD license]]}}

! [[Sage (mathematics software)|Sage]]

| [[William A. Stein]]

| Mathematics software system combining a number of existing packages, including [[computer algebra]], [[numerical computation]], [[statistics]] and [[image processing]]

! [[SINGULAR]]

| [[University of Kaiserslautern]]

| computer algebra system for polynomial computations, with special emphasis on [[commutative algebra|commutative]] and [[non-commutative algebra]], [[algebraic geometry]], and [[singularity theory]].

! Symbolic [[MATLAB]] Toolbox

| [[MathWorks]]

| $2900 including required [[MATLAB]]

! [[SymbolicC++]]

| {{free|modified [[BSD license]]}}

! [[SymPy]]

| {{free|modified [[BSD license]]}}

! [[TI-Nspire]] CAS (Computer Software)

| Successor to Derive. Based on Derive's engine used in TI-89/Voyager 200 and TI-Nspire handheld

! [[Wolfram Alpha]]

| [[Wolfram Research]]

| Online [[computer algebra system]] with step-by step solutions.

! [[Xcas]]

| Compatible modes for maple, mupad and TI89 syntax. Symbolic spreadsheets, Giac library for use with other programs. ARM ports for some PDAs with Linux or [[WinCE]]<ref>{{cite web

! [[Yacas]]

| 1998<ref>{{cite web | url=http://yacas.sourceforge.net/homepage.html?recent.html&newdesign.html | title=Big changes ahead for Yacas | accessdate=2011-04-19}}</ref>

| ?

! Cost ([[United States dollar|USD]])

! rowspan="2" | System

! rowspan="2" | [[Formula editor]]

! rowspan="2" | [[Arbitrary precision]]

! colspan="2" | [[Calculus]]

! colspan="5" | [[Solver (computer science)|Solvers]]

! rowspan="2" | [[Graph theory]]

! rowspan="2" | [[Number theory]]

! rowspan="2" | [[Quantifier elimination]]

! rowspan="2" | [[Boolean algebra (logic)|Boolean algebra]]

! rowspan="2" | [[Tensors]]

! rowspan="2" | [[Probability]]

! rowspan="2" | [[Control theory]]

! rowspan="2" | [[Coding theory]]

! rowspan="2" | [[Group theory]]

|style="text-align: center"| [[Integral|Integration]]

|style="text-align: center"| [[Integral transform]]s

|style="text-align: center"| [[Equation]]s

|style="text-align: center"| [[Inequalities]]

|style="text-align: center"| [[Diophantine equation]]s

|style="text-align: center"| [[Differential equation]]s

|style="text-align: center"| [[Recurrence relation]]s

! [[Axiom (computer algebra system)|Axiom]]

| ?

| ?

| ?

| ?

| ?

| ?

| ?

| ?

| ?

| ?

| ?

! [[Magma computer algebra system|Magma]]

| ?

| ?

! [[Maple (software)|Maple]]

! [[Mathcad]]

! [[Mathematica]]

| {{yes}}<ref>[http://reference.wolfram.com/mathematica/guide/SymbolicTensors.html Symbolic Tensors] Mathematica Documentation</ref>

! [[Mathomatic]]

! Symbolic [[MATLAB]] toolbox

| ?

| ?

| ?

! [[Maxima (software)|Maxima]]

| ?

| ?

! [[Sage (mathematics software)|Sage]]

! [[SymPy]]

! [[Wolfram Alpha]]

| ?

| ?

! [[Yacas]]

| ?

| ?

! [[Xcas]]

| ?

| ?

| ?

The software can run under their respective [[operating system]]s natively without [[emulator|emulation]]. Some systems must be compiled first using an appropriate compiler for the source language and target platform.

! style="width: 12em" | System

! [[Microsoft Windows|Windows]]

! [[Mac OS X]]

! [[Linux]]

! [[Berkeley Software Distribution|BSD]]

! [[Solaris (operating system)|Solaris]]

! Other

! [[Axiom computer algebra system|Axiom]]

! [[CoCoA System|CoCoA]]

| [[Tru64 UNIX]], [[HP-UX]], [[IRIX]]

! [[Derive (computer algebra system)|Derive]]

! [[Euler (software)|Euler]]

! [[Fermat (computer algebra system)|Fermat]]

| {{No|[[Cygwin]]}}

! [[FORM (symbolic manipulation system)|FORM]]

| {{No|[[Cygwin]]}}

! [[GAP computer algebra system|GAP]]

! [[KANT (mathematics)|KANT/KASH]]

! [[Macaulay2]]

| {{No|[[Cygwin]]}}

! [[Magma computer algebra system|Magma]]

! [[Maple (software)|Maple]]

! [[Mathcad]]

! [[Mathematica]]

! [[Mathomatic]]

| Android, and all [[POSIX]] platforms

! [[Maxima (software)|Maxima]]

| All POSIX platforms with [[Common Lisp]]

! [[MuMATH]]

! [[MuPAD]]

! [[OpenAxiom]]

! [[PARI/GP]]

! [[Reduce (computer algebra system)|Reduce]]

! [[Sage (mathematics software)|Sage]]

| [[VMware]] image for MS-Windows users

! [[SINGULAR]]

! [[SymbolicC++]]

! Symbolic [[MATLAB]] toolbox

! [[SymPy]]

| Any system that supports [[Python (programming language)|Python]]

! [[TI-Nspire]] (desktop software)

| {{?}}

! [[Xcas]]

! [[Yacas]]

! style="width: 12em" | System

! Creator

! Development started

! First public release

! Latest stable version

! Cost ([[United States dollar|USD]])

! [[Casio graphic calculators#9850 series (9750/9850/9950/9970)|Casio CFX-9970G]]

| [[Casio|CASIO Computer Co.]]

! [[Casio graphic calculators#Algebra FX series|Casio Algebra FX 2.0]]

| CASIO Computer Co.

| CASIO Computer Co.

| ClassPad Manager is an emulator which runs on a PC.

! [[HP-49 series|HP 49 series]]<br/>[[HP 50g]]

| [[Hewlett-Packard]]

| Based on [http://www.hpcalc.org/details.php?id=1349 Erable]. Intended for problems which occur in engineering applications. Source code openly available.

| No longer in production

| Texas Instruments

| Texas Instruments

| No longer in production

| Texas Instruments

| No longer in production

! [[TI-Nspire CAS]]

| Texas Instruments

| Texas Instruments

<references group="h" />

 

==External links==

Lists of computer algebra systems:

Other:

* [http://hughesbennett.co.uk/Maxima Use Maxima in a web browser] without downloading any software

* [http://axiom-developer.org/axiom-website/rosetta.html Rosetta Translations: a collection of synonyms for various operations in the computer algebra systems]