« CAS » : différence entre les versions

De TI-Planet Wiki
Aller à la navigation Aller à la recherche
(Page créée avec « == Composition d'un moteur CAS == Un '''CAS''' ou ''Computer Algebra System'' est une fonctionnalité avancée de calcul proposée par des programmes informatiques. Sur ... »)
 
Aucun résumé des modifications
 
(16 versions intermédiaires par 2 utilisateurs non affichées)
Ligne 1 : Ligne 1 :
== Composition d'un moteur CAS ==
Un '''CAS''' ou ''Computer Algebra System'' est une fonctionnalité avancée de calcul proposée par des programmes informatiques.
Un '''CAS''' ou ''Computer Algebra System'' est une fonctionnalité avancée de calcul proposée par des programmes informatiques.




Sur les calculatrices [[Texas Instruments]], plusieurs modèles possèdent des OS avec CAS, et dans le cas des [[TI-Nspire]] la présence d'un moteur CAS est même précisée dans le nom du modèle: TI-Nspire CAS, TI-Nspire CX CAS, etc...
Sur les calculatrices [[Texas Instruments]], plusieurs modèles possèdent des OS avec CAS, et dans le cas des [[TI-Nspire]] la présence d'un moteur CAS est même précisée dans le nom du modèle: TI-Nspire CAS, TI-Nspire CX CAS, etc...
La première [[calculatrice graphique]] possédant un CAS fut la '''HP-28C''' en 1987.




== Composants d'un moteur CAS ==
== Composants d'un moteur CAS ==
Un moteur CAS se compose de 5 piliers ou briques essentielles:
Un moteur CAS se compose de 5 piliers ou briques essentielles, en particulier les trois premiers:
 


; 1) Un système prenant en compte la priorité des opérations
; 1) Un système prenant en compte la priorité des opérations
Ligne 20 : Ligne 19 :


; 4) Un moteur permettant de saisir une expression en écriture naturelle
; 4) Un moteur permettant de saisir une expression en écriture naturelle
: 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.
: TI appelle ce principe le [[MathPrint]] ou 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.


; 5) Un moteur permettant d'afficher le résultat en écriture naturelle
; 5) Un moteur permettant d'afficher le résultat en écriture naturelle
Ligne 35 : Ligne 34 :
Ensuite, les moteurs CAS plus avancés peuvent posséder des fonctionnalités graphiques (graphes de courbes à plusieurs variables (3D), dessins vectoriels, etc...)
Ensuite, les moteurs CAS plus avancés peuvent posséder des fonctionnalités graphiques (graphes de courbes à plusieurs variables (3D), dessins vectoriels, etc...)


==Sur ordinateurs==
Les tableaux suivants font une comparaison des moteurs CAS existants sur ordinateur.




==Sur ordinateurs==


Les tableaux suivants font une comparaison des moteurs CAS existants sur ordinateur.
=== Généralités ===
 
 


{| class="wikitable" style="font-size: smaller; text-align: center; width: auto;" class="wikitable sortable"
{| class="wikitable" style="font-size: smaller; text-align: center; width: auto;" class="wikitable sortable"
Ligne 52 : Ligne 55 :
! Notes
! Notes
|-
|-
! [[Axiom (computer algebra system)|Axiom]]
! Axiom
| Tim Daly
| Tim Daly
| 1971
| 1971
Ligne 61 : Ligne 64 :
| General purpose CAS. The first one with strong typing for mathematical expressions
| General purpose CAS. The first one with strong typing for mathematical expressions
|-
|-
! [[CoCoA System|CoCoA]]
! CoCoA
| The CoCoA Team
| The CoCoA Team
| 1987
| 1987
Ligne 68 : Ligne 71 :
| {{free}}
| {{free}}
| {{GPL-lic}}
| {{GPL-lic}}
| Specialized CAS for [[commutative algebra]]
| Specialized CAS for commutative algebra
|-
|-
! [[Derive (computer algebra system)|Derive]]
! Derive
| Soft Warehouse
| Soft Warehouse
| 1979
| 1979
Ligne 79 : Ligne 82 :
| CAS designed for pocket calculators; it was discontinued in 2007
| CAS designed for pocket calculators; it was discontinued in 2007
|-
|-
! [[Euler (software)|Euler Math Toolbox]]
! Euler Math Toolbox
| R. Grothmann
| R. Grothmann
| 1987
| 1987
Ligne 86 : Ligne 89 :
| {{free}}
| {{free}}
| {{GPL-lic}}
| {{GPL-lic}}
| Numerical software linked to [[Maxima (software)|Maxima]]
| Numerical software linked to Maxima
|-
|-
! [[Fermat (computer algebra system)|Fermat]]
! Fermat
| Robert H. Lewis
| Robert H. Lewis
| 1986
| 1986
Ligne 95 : Ligne 98 :
| $60 if grant money available, otherwise $0
| $60 if grant money available, otherwise $0
| {{proprietary}}
| {{proprietary}}
| Specialized CAS for [[resultant]] computation and [[linear algebra]] with [[polynomial]] entries
| Specialized CAS for resultant computation and linear algebra with polynomial entries
|-
|-
! [[FORM (symbolic manipulation system)|FORM]]
! FORM
| J.A.M. Vermaseren
| J.A.M. Vermaseren
| 1984
| 1984
Ligne 104 : Ligne 107 :
| {{free}}
| {{free}}
| {{GPL-lic}}
| {{GPL-lic}}
| CAS designed mainly for [[particle physics]]
| CAS designed mainly for particle physics  
|-
|-
! [[GAP computer algebra system|GAP]]
! GAP
| GAP Group
| GAP Group
| 1986
| 1986
Ligne 113 : Ligne 116 :
| {{free}}
| {{free}}
| {{GPL-lic}}
| {{GPL-lic}}
| Specialized CAS for [[group theory]] and [[combinatorics]]. Subpackage of Sage<ref name=sagepack>[http://www.sagemath.org/links-components.html Sage components]</ref>
| 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]]
! KANT/KASH
| KANT Group
| KANT Group
| ?
|  
| ?
|  
| KASH3 (2005/2008)
| KASH3 (2005/2008)
| {{free|free for non-commercial use}}
| {{free|free for non-commercial use}}
| own license
| own license
| Specialized CAS for [[algebraic number theory]]
| Specialized CAS for algebraic number theory
|-
|-
! [[LiveMath]]<br/>(formerly Theorist)
! LiveMath<br/>(formerly Theorist)
| Math Monkeys
| Math Monkeys
| ?
|  
| 1991
| 1991
| {{dts|2007}} (3.5.9)
| {{dts|2007}} (3.5.9)
Ligne 133 : Ligne 136 :
| Numerical software for interactive solving and mathematical graphing
| Numerical software for interactive solving and mathematical graphing
|-
|-
! [[Macaulay2]]
! Macaulay2
| Daniel Grayson and Michael Stillman
| Daniel Grayson and Michael Stillman
| 1992
| 1992
Ligne 140 : Ligne 143 :
| {{free}}
| {{free}}
| {{GPL-lic}}
| {{GPL-lic}}
| Specialized CAS for [[algebraic geometry]] and [[commutative algebra]]
| Specialized CAS for algebraic geometry and commutative algebra
|-
|-
! [[Macsyma]]
! Macsyma
| [[MIT Project MAC]] and [[Symbolics]]
| MIT Project MAC and Symbolics
| 1968
| 1968
| 1978
| 1978
Ligne 149 : Ligne 152 :
| $500
| $500
| {{proprietary}}
| {{proprietary}}
| The oldest general purpose CAS. Was the state of the art during almost 20 years. Still alive as [[Maxima (software)|Maxima]]
| The oldest general purpose CAS. Was the state of the art during almost 20 years. Still alive as Maxima
|-
|-
! [[Magma computer algebra system|Magma]]
! Magma
| [[University of Sydney]]
| University of Sydney
| ~1990
| ~1990
| 1993
| 1993
Ligne 158 : Ligne 161 :
| $1,150
| $1,150
| {{proprietary}}
| {{proprietary}}
| General purpose CAS, originally specialized in [[group theory]]. Works with elements of [[algebraic structure]]s rather than with non typed [[expression (mathematics)|mathematical expressions]]
| General purpose CAS, originally specialized in group theory. Works with elements of algebraic structures rather than with non typed mathematical expressions
|-
|-
! [[Maple (software)|Maple]]
! Maple
| Symbolic Computation Group, [[University of Waterloo]]
| Symbolic Computation Group, University of Waterloo
| 1980
| 1980
| 1984
| 1984
| {{dts|2012}} (16)
| {{dts|2012}} (16)
| $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>
| $2,275 (Commercial), $2,155 (Government), $1245(Academic), $239 (Personal Edition), $99 (Student), $79 (Student, 12-Month term)
| {{proprietary}}
| {{proprietary}}
| One of the major general purpose CAS
| One of the major general purpose CAS
|-
|-
! [[Mathcad]]
! Mathcad
| [[Parametric Technology Corporation]]
| Parametric Technology Corporation
| 1985
| 1985
| 1985
| 1985
| {{dts|2010}} (15)
| {{dts|2010}} (15)
| $1,195<ref>{{cite web | url=http://store.ptc.com | title=Parametric Technology Corporation Web Store | accessdate=2008-06-28}}</ref>
| $1,195
| {{proprietary}}
| {{proprietary}}
|  [[Numerical software]] with some CAS capabilities
|  Numerical software with some CAS capabilities
|-
|-
! [[Mathematica]]
! Mathematica
| [[Wolfram Research]]
| Wolfram Research
| 1986
| 1986
| 1988
| 1988
| {{dts|2012}} (9.0.0)
| {{dts|2012}} (9.0.0)
| $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>
| $2,495 (Professional), $1095 (Education), $140 (Student), $69.95 (Student annual license), $295 (Personal)
| {{proprietary}}
| {{proprietary}}
| One of the major general purpose CAS
| One of the major general purpose CAS
|-
|-
! [[Mathomatic]]
! Mathomatic
| George Gesslein II
| George Gesslein II
| 1986
| 1986
Ligne 194 : Ligne 197 :
| {{free}}
| {{free}}
| {{free|[[LGPL]]}}
| {{free|[[LGPL]]}}
| [[Elementary algebra]], [[calculus]], [[complex number]] and [[polynomial]] manipulations.
| Elementary algebra, calculus, complex number and polynomial manipulations.
|-
|-
! [[Maxima (software)|Maxima]]
! Maxima
| [[MIT Project MAC]] and [[Bill Schelter]] et al.
| MIT Project MAC and Bill Schelter et al.
| 1967
| 1967
| 1998
| 1998
Ligne 203 : Ligne 206 :
| {{free}}
| {{free}}
| {{GPL-lic}}
| {{GPL-lic}}
| General purpose CAS. Continuation of [[Macsyma]]. Subpackage of Sage.<ref name=sagepack />
| General purpose CAS. Continuation of Macsyma. Subpackage of Sage.
|-
|-
! [[MuMATH]]
! MuMATH
| Soft Warehouse
| Soft Warehouse
| 1970s
| 1970s
Ligne 212 : Ligne 215 :
| Discontinued
| Discontinued
| {{proprietary}}
| {{proprietary}}
| Predecessor of [[Derive (computer algebra system)|Derive]]
| Predecessor of Derive
|-
|-
! [[MuPAD]]
! MuPAD
| SciFace Software
| SciFace Software
| 1989
| 1989
Ligne 221 : Ligne 224 :
| Discontinued
| Discontinued
| {{proprietary}}
| {{proprietary}}
| [[MathWorks]] has incorporated MuPAD technology into Symbolic Math Toolbox
| MathWorks has incorporated MuPAD technology into Symbolic Math Toolbox
|-
|-
! [[Axiom (computer algebra system)#Software forks|OpenAxiom]]
! OpenAxiom
| Gabriel Dos Reis
| Gabriel Dos Reis
| 2007
| 2007
Ligne 229 : Ligne 232 :
| {{dts|2011}} (1.4.1)
| {{dts|2011}} (1.4.1)
| {{free}}
| {{free}}
| {{free|modified [[BSD licenses|BSD license]]}}
| {{free|modified BSD license}}
| General purpose CAS, the first one to have a strong typing for mathematical objects and expressions
| General purpose CAS, the first one to have a strong typing for mathematical objects and expressions
|-
|-
! [[PARI/GP]]
! PARI/GP
| [[Henri Cohen (number theorist)|Henri Cohen]], Karim Belabas, Bill Allombert et al.
| Henri Cohen, Karim Belabas, Bill Allombert et al.
| 1985
| 1985
| 1990
| 1990
Ligne 239 : Ligne 242 :
| {{free}}
| {{free}}
| {{GPL-lic}}
| {{GPL-lic}}
| Specialized CAS for [[Number theory]]. A major reference in this domain. Subpackage of Sage.<ref name=sagepack />
| Specialized CAS for Number theory. A major reference in this domain. Subpackage of Sage.
|-
|-
! [[Reduce (computer algebra system)|Reduce]]
! Reduce
| Anthony C. Hearn
| Anthony C. Hearn
| 1960s
| 1960s
Ligne 247 : Ligne 250 :
| {{dts|2009}}
| {{dts|2009}}
| {{free}}
| {{free}}
| {{free|modified [[BSD licenses|BSD license]]}}
| {{free|modified BSD license}}
| Historically important general purpose CAS. Still alive, as open-sourced and freed in December 2008
| Historically important general purpose CAS. Still alive, as open-sourced and freed in December 2008
|-
|-
! [[Sage (mathematics software)|Sage]]
! Sage
| [[William A. Stein]]
| William A. Stein
| 2005
| 2005
| 2005
| 2005
Ligne 257 : Ligne 260 :
| {{free}}
| {{free}}
| {{GPL-lic}}
| {{GPL-lic}}
| Mathematics software system combining a number of existing packages, including [[computer algebra]], [[numerical computation]], [[statistics]] and [[image processing]]
| Mathematics software system combining a number of existing packages, including computer algebra, numerical computation, statistics and image processing
|-
|-
! [[SINGULAR]]
! SINGULAR
| [[University of Kaiserslautern]]
| University of Kaiserslautern
| 1984
| 1984
| 1997
| 1997
Ligne 266 : Ligne 269 :
| {{free}}
| {{free}}
| {{GPL-lic}}
| {{GPL-lic}}
| computer algebra system for polynomial computations, with special emphasis on [[commutative algebra|commutative]] and [[non-commutative algebra]], [[algebraic geometry]], and [[singularity theory]].
| computer algebra system for polynomial computations, with special emphasis on commutative and non-commutative algebra, algebraic geometry, and singularity theory.
|-
|-
! Symbolic [[MATLAB]] Toolbox
! Symbolic MATLAB Toolbox
| [[MathWorks]]
| MathWorks
| 1989
| 1989
| 2008
| 2008
| {{dts|2011}} (5.7(2011b))
| {{dts|2011}} (5.7(2011b))
| $2900 including required [[MATLAB]]
| $2900 including required MATLAB
| {{proprietary}}
| {{proprietary}}
| Provides tools for solving and manipulating symbolic math expressions and performing variable-precision arithmetic.
| Provides tools for solving and manipulating symbolic math expressions and performing variable-precision arithmetic.
|-
|-
! [[SymbolicC++]]
! SymbolicC++
| W.-H. Steeb
| W.-H. Steeb
| 1997
| 1997
Ligne 292 : Ligne 295 :
| 2013
| 2013
| {{free}}
| {{free}}
| {{free|modified [[BSD license]]}}
| {{free|modified BSD license}}
| C# library for automatic simplification of algebraic expressions
| C# library for automatic simplification of algebraic expressions
|-
|-
! [[SymPy]]
! SymPy
| Ondřej Čertík
| Ondřej Čertík
| 2006
| 2006
Ligne 301 : Ligne 304 :
| {{dts|2012}} (0.7.2)
| {{dts|2012}} (0.7.2)
| {{free}}
| {{free}}
| {{free|modified [[BSD license]]}}
| {{free|modified BSD license}}
| Python-based
| Python-based
|-
|-
! [[TI-Nspire]] CAS (Computer Software)
! TI-Nspire CAS (Computer Software)
| [[Texas Instruments]]
| [[Texas Instruments]]
| 2006
| 2006
Ligne 311 : Ligne 314 :
|
|
| {{proprietary}}
| {{proprietary}}
| Successor to Derive. Based on Derive's engine used in TI-89/Voyager 200 and TI-Nspire handheld
| Successor to Derive. Based on Derive's engine used in TI-89/Voyage 200 and TI-Nspire handheld
|-
|-
! [[Wolfram Alpha]]
! Wolfram Alpha
| [[Wolfram Research]]
| Wolfram Research
|  
|  
| 2009
| 2009
Ligne 320 : Ligne 323 :
| Pro version: $4.99 / month, Pro version for students: $2.99 / month, Regular version free.
| Pro version: $4.99 / month, Pro version for students: $2.99 / month, Regular version free.
| {{proprietary}}
| {{proprietary}}
| Online [[computer algebra system]] with step-by step solutions.
| Online computer algebra system with step-by step solutions.
|-
|-
! [[Xcas]]
! Xcas
| Bernard Parisse
| Bernard Parisse
| 2004
| 2004
Ligne 329 : Ligne 332 :
| {{free}}
| {{free}}
| {{GPL-lic}}
| {{GPL-lic}}
| 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
| 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
|url=http://www-fourier.ujf-grenoble.fr/~parisse/install_en#xcaswince
|title=Xcas ARM
|accessdate=2010-10-12
|format=
|work=
}}</ref>
|-
|-
! [[Yacas]]
! Yacas
| Ayal Pinkus et al.
| Ayal Pinkus et al.
| 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>
| 1998
| ?
|  
| {{dts|2012}} (1.3.3)
| {{dts|2012}} (1.3.3)
| {{free}}
| {{free}}
Ligne 351 : Ligne 348 :
! First public release
! First public release
! Latest stable version
! Latest stable version
! Cost ([[United States dollar|USD]])
! Cost ($ USD)
! License
! License
! Notes
! Notes
|}
|}


These computer algebra systems are sometimes combined with "front end" programs that provide a nice user interface, such as the general-purpose [[GNU TeXmacs]].
===Fonctionalités===
 
 
Comparaison des fonctionnalités de calcul symbolique de ces différents moteurs CAS:


===Fonctionalités===
Below is a summary of significantly developed <i>symbolic</i> functionality in each of the systems.


{| class="wikitable" style="font-size: smaller; text-align: center; width: auto;"
{| class="wikitable" style="font-size: smaller; text-align: center; width: auto;"
|-
|-
! rowspan="2" | System
! rowspan="2" | Système
! rowspan="2" | [[Formula editor]]
! rowspan="2" | Formula editor
! rowspan="2" | [[Arbitrary precision]]
! rowspan="2" | Arbitrary precision
! colspan="2" | [[Calculus]]
! colspan="2" | Calculus


! colspan="5" | [[Solver (computer science)|Solvers]]
! colspan="5" | Solveur
! rowspan="2" | [[Graph theory]]
! rowspan="2" | Graph theory
! rowspan="2" | [[Number theory]]
! rowspan="2" | Théorie des nombres
! rowspan="2" | [[Quantifier elimination]]
! rowspan="2" | Quantifier elimination
! rowspan="2" | [[Boolean algebra (logic)|Boolean algebra]]
! rowspan="2" | Logique boléenne
! rowspan="2" | [[Tensors]]
! rowspan="2" | Tensors
! rowspan="2" | [[Probability]]
! rowspan="2" | Probabilités
! rowspan="2" | [[Control theory]]
! rowspan="2" | Control theory
! rowspan="2" | [[Coding theory]]
! rowspan="2" | Coding theory
! rowspan="2" | [[Group theory]]
! rowspan="2" | Group theory
|-
|-
|style="text-align: center"| [[Integral|Integration]]
|style="text-align: center"| Intégrales
|style="text-align: center"| [[Integral transform]]s
|style="text-align: center"| Transformation d'intégrales
|style="text-align: center"| [[Equation]]s
|style="text-align: center"| Equations
|style="text-align: center"| [[Inequalities]]
|style="text-align: center"| Inéquations
|style="text-align: center"| [[Diophantine equation]]s
|style="text-align: center"| Equations Diophantiennes
|style="text-align: center"| [[Differential equation]]s
|style="text-align: center"| Equations Différentielles
|style="text-align: center"| [[Recurrence relation]]s
|style="text-align: center"| Relations récurrentes
|-
|-


! [[Axiom (computer algebra system)|Axiom]]
! Axiom
| {{no}}
| {{no}}
| {{yes}}
| {{yes}}
Ligne 394 : Ligne 392 :
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
| ?
|  
| ?
|  
| ?
|  
| ?
|  
| ?
|  
| ?
|  
| ?
|  
| ?
|  
| ?
|  
| ?
|  
| ?
|  
| {{no}}
| {{no}}
| {{yes}}
| {{yes}}
|-
|-


! [[Magma computer algebra system|Magma]]
! Magma
| {{no}}
| {{no}}
| {{yes}}
| {{yes}}
Ligne 424 : Ligne 422 :
| {{no}}
| {{no}}
| {{no}}
| {{no}}
| ?
|  
| ?
|  
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
|-
|-


! [[Maple (software)|Maple]]
! Maple
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
Ligne 451 : Ligne 449 :
|-
|-


! [[Mathcad]]
! Mathcad
| {{yes}}
| {{yes}}
| {{no}}
| {{no}}
Ligne 472 : Ligne 470 :
|-
|-


! [[Mathematica]]
! Mathematica
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
Ligne 486 : Ligne 484 :
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}<ref>[http://reference.wolfram.com/mathematica/guide/SymbolicTensors.html Symbolic Tensors] Mathematica Documentation</ref>
| {{yes}}<ref>[http://reference.wolfram.com/mathematica/guide/SymbolicTensors.html Symbolic Tensors]Documentation de Mathematica</ref>
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
Ligne 493 : Ligne 491 :
|-
|-


! [[Mathomatic]]
! Mathomatic
| {{no}}
| {{no}}
| {{no}}
| {{no}}
Ligne 514 : Ligne 512 :
|-
|-


! Symbolic [[MATLAB]] toolbox
! Symbolic MATLAB toolbox
| {{no}}
| {{no}}
| {{yes}}
| {{yes}}
Ligne 523 : Ligne 521 :
| {{no}}
| {{no}}
| {{yes}}
| {{yes}}
| ?
|  
| {{no}}
| {{no}}
| ?
|  
| {{no}}
| {{no}}
| {{no}}
| {{no}}
| {{no}}
| {{no}}
| {{no}}
| {{no}}
| ?
|  
| {{no}}
| {{no}}
| {{no}}
| {{no}}
|-
|-


! [[Maxima (software)|Maxima]]
! Maxima
| {{no}}
| {{no}}
| {{yes}}
| {{yes}}
Ligne 550 : Ligne 548 :
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
| ?
|  
| ?
|  
| {{no}}
| {{no}}
| {{yes}}
| {{yes}}
|-
|-


! [[Sage (mathematics software)|Sage]]
! Sage
| {{no}}
| {{no}}
| {{yes}}
| {{yes}}
Ligne 577 : Ligne 575 :
|-
|-


! [[SymPy]]
! SymPy
| {{no}}
| {{no}}
| {{yes}}
| {{yes}}
Ligne 597 : Ligne 595 :
| {{yes}}
| {{yes}}
|-
|-
! [[Wolfram Alpha]]
! Wolfram Alpha
| Pro version only
| Pro version only
| {{yes}}
| {{yes}}
Ligne 612 : Ligne 610 :
| {{yes}}
| {{yes}}
| {{no}}
| {{no}}
| ?
|  
| ?
|  
| {{no}}
| {{no}}
| {{yes}}
| {{yes}}
|-
|-
! [[Yacas]]
! Yacas
| {{no}}
| {{no}}
| {{yes}}
| {{yes}}
Ligne 632 : Ligne 630 :
| {{no}}
| {{no}}
| {{no}}
| {{no}}
| ?
|  
| ?
|  
| {{no}}
| {{no}}
| {{no}}
| {{no}}
|-
|-
! [[Xcas]]
! Xcas
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
Ligne 652 : Ligne 650 :
| {{no}}
| {{no}}
| {{no}}
| {{no}}
| ?
|  
| ?
|  
| {{no}}
| {{no}}
| ?
|  
|}
|}


===OS supportés===
===OS supportés===
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.
 
 
 
Classification selon le système d'exploitation sous lequel ces programmes tournent nativement.
 
 


{| class="wikitable" style="font-size: smaller; text-align: center; width: auto;" class="wikitable sortable"
{| class="wikitable" style="font-size: smaller; text-align: center; width: auto;" class="wikitable sortable"
|-
|-
! style="width: 12em" | System
! style="width: 12em" | Système
! [[Microsoft Windows|Windows]]
! Microsoft Windows
! [[Mac OS X]]
! Mac OS X
! [[Linux]]
! Linux
! [[Berkeley Software Distribution|BSD]]
! BSD
! [[Solaris (operating system)|Solaris]]
! Solaris
! Other
! Autres
|-
|-
! [[Axiom computer algebra system|Axiom]]
! Axiom
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
Ligne 679 : Ligne 682 :
| {{?}}
| {{?}}
|-
|-
! [[CoCoA System|CoCoA]]
! CoCoA
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
Ligne 685 : Ligne 688 :
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| [[Tru64 UNIX]], [[HP-UX]], [[IRIX]]
| Tru64 UNIX, HP-UX, IRIX
|-
|-
! [[Derive (computer algebra system)|Derive]]
! Derive
| {{Yes}}
| {{Yes}}
| {{No}}
| {{No}}
Ligne 695 : Ligne 698 :
| {{?}}
| {{?}}
|-
|-
! [[Euler (software)|Euler]]
! Euler
| {{Yes}}
| {{Yes}}
| {{No}}
| {{No}}
Ligne 703 : Ligne 706 :
| {{?}}
| {{?}}
|-
|-
! [[Fermat (computer algebra system)|Fermat]]
! Fermat
| {{No|[[Cygwin]]}}
| {{No|Cygwin}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
Ligne 711 : Ligne 714 :
| {{?}}
| {{?}}
|-
|-
! [[FORM (symbolic manipulation system)|FORM]]
! FORM
| {{No|[[Cygwin]]}}
| {{No|Cygwin}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
Ligne 719 : Ligne 722 :
| {{?}}
| {{?}}
|-
|-
! [[GAP computer algebra system|GAP]]
! GAP
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
Ligne 727 : Ligne 730 :
| {{?}}
| {{?}}
|-
|-
! [[KANT (mathematics)|KANT/KASH]]
! KANT/KASH
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
Ligne 735 : Ligne 738 :
| {{no}}
| {{no}}
|-
|-
! [[Macaulay2]]
! Macaulay2
| {{No|[[Cygwin]]}}
| {{No|Cygwin}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
Ligne 743 : Ligne 746 :
| {{?}}
| {{?}}
|-
|-
! [[Magma computer algebra system|Magma]]
! Magma
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
Ligne 751 : Ligne 754 :
| {{?}}
| {{?}}
|-
|-
! [[Maple (software)|Maple]]
! Maple
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
Ligne 759 : Ligne 762 :
| {{No}}
| {{No}}
|-
|-
! [[Mathcad]]
! Mathcad
| {{Yes}}
| {{Yes}}
| {{No}}
| {{No}}
Ligne 767 : Ligne 770 :
| {{No}}
| {{No}}
|-
|-
! [[Mathematica]]
! Mathematica
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
Ligne 775 : Ligne 778 :
| {{No}}
| {{No}}
|-
|-
! [[Mathomatic]]
! Mathomatic
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
Ligne 781 : Ligne 784 :
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| Android, and all [[POSIX]] platforms
| Android, et toutes les plateformes POSIX  
|-
|-
! [[Maxima (software)|Maxima]]
! Maxima
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
Ligne 789 : Ligne 792 :
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| All POSIX platforms with [[Common Lisp]]
| All POSIX platforms with Common Lisp
|-
|-
! [[MuMATH]]
! MuMATH
| {{No}}
| {{No}}
| {{No}}
| {{No}}
Ligne 799 : Ligne 802 :
| {{?}}
| {{?}}
|-
|-
! [[MuPAD]]
! MuPAD
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
Ligne 807 : Ligne 810 :
| {{?}}
| {{?}}
|-
|-
! [[OpenAxiom]]
! OpenAxiom
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
Ligne 815 : Ligne 818 :
| {{?}}
| {{?}}
|-
|-
! [[PARI/GP]]
! PARI/GP
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
Ligne 823 : Ligne 826 :
| {{?}}
| {{?}}
|-
|-
! [[Reduce (computer algebra system)|Reduce]]
! Reduce
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
Ligne 831 : Ligne 834 :
| {{?}}
| {{?}}
|-
|-
! [[Sage (mathematics software)|Sage]]
! Sage
| {{No}}
| {{No}}
| {{Yes}}
| {{Yes}}
Ligne 837 : Ligne 840 :
| {{No}}
| {{No}}
| {{Yes}}
| {{Yes}}
| [[VMware]] image for MS-Windows users
| VMware-image pour les utilisateurs de MS-Windows
|-
|-
! [[SINGULAR]]
! SINGULAR
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
Ligne 847 : Ligne 850 :
| {{?}}
| {{?}}
|-
|-
! [[SymbolicC++]]
! SymbolicC++
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
Ligne 855 : Ligne 858 :
| {{?}}
| {{?}}
|-
|-
! Symbolic [[MATLAB]] toolbox
! Symbolic MATLAB toolbox
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
Ligne 863 : Ligne 866 :
| {{?}}
| {{?}}
|-
|-
! [[SymPy]]
! SymPy
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
Ligne 869 : Ligne 872 :
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| Any system that supports [[Python (programming language)|Python]]
| Tout système supportant le Python
|-
|-
! [[TI-Nspire]] (desktop software)
! Logiciels TI-Nspire
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
Ligne 877 : Ligne 880 :
| {{No}}
| {{No}}
| {{No}}
| {{No}}
| {{?}}
| iOS et Android avec les applications TI-Nspire
|-
|-
! [[Xcas]]
! Xcas
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
Ligne 887 : Ligne 890 :
| {{?}}
| {{?}}
|-
|-
! [[Yacas]]
! Yacas
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
Ligne 898 : Ligne 901 :
==Sur calculatrices==
==Sur calculatrices==


La présence d'un moteur CAS sur une calculatrice est bien sur un énorme avantage de cette calculatrice.
Ainsi, [[Texas Instruments]] mais aussi ses concurrents [[Casio]] et [[HP]] ont sorti des calculatrices possédant un moteur CAS.
Certains moteurs sont meilleurs que d'autres, et diffèrent sur certains points...
Les moteurs diffèrent parfois d'une version d'OS à l'autre, souvent à cause de bugs, comme par exemple le moteur CAS archifaux de l'OS 3.0 sorti avec les toutes premières TI-Nspire CX CAS. ''(heureusement corrigés dans l'OS 3.1)''
=== CAS présents en natif dans l'OS ===


{| class="wikitable sortable" style="font-size: smaller; text-align: center; width: auto;"
{| class="wikitable sortable" style="font-size: smaller; text-align: center; width: auto;"
|-
|-
! style="width: 12em" | System
! style="width: 12em" | Système
! Creator
! Auteur
! Development started
! Début du Développement
! First public release
! Première version publique
! Latest stable version
! Dernière version stable
! Cost ([[United States dollar|USD]])
! Prix
! Notes
! Notes
|-
|-
! [[Casio graphic calculators#9850 series (9750/9850/9950/9970)|Casio CFX-9970G]]
! [[Casio CFX-9970G]]
| [[Casio|CASIO Computer Co.]]
| [[Casio]]
| {{?}}
| {{?}}
| 1998
| 1998
Ligne 917 : Ligne 930 :
|
|
|-
|-
! [[Casio graphic calculators#Algebra FX series|Casio Algebra FX 2.0]]
! [[Casio Algebra FX 2.0]]
| CASIO Computer Co.
| [[Casio]]
| {{?}}
| {{?}}
| 1999
| 1999
Ligne 926 : Ligne 939 :
|-
|-
! [[Casio ClassPad 330]]<br/>Casio ClassPad Manager
! [[Casio ClassPad 330]]<br/>Casio ClassPad Manager
| CASIO Computer Co.
| [[Casio]]
| {{?}}
| {{?}}
| 2003
| 2003
| 3.04.5000
| 3.04.5000
| $140
| $140
| ClassPad Manager is an emulator which runs on a PC.
| ClassPad Manager est un émulateur PC.
|-
|-
! [[HP-49 series|HP 49 series]]<br/>[[HP 50g]]
! [[Séries HP-49]]<br/>[[HP 50G]]
| [[Hewlett-Packard]]
| [[HP]]
| {{?}}
| {{?}}
| 1999
| 1999
| 2.15
| 2.15
| $110 and up
| $110 and up
| Based on [http://www.hpcalc.org/details.php?id=1349 Erable]. Intended for problems which occur in engineering applications. Source code openly available.
| Basé sur [http://www.hpcalc.org/details.php?id=1349 Erable]. Destiné aux problèmes qui se posent en ingénierie. Le code source est libre et public.
|-
|-
! [[TI-89]]
! [[TI-89]]
Ligne 946 : Ligne 959 :
| 1996
| 1996
| 2.09
| 2.09
| No longer in production
| Production arrêtée
|
|
|-
|-
! [[TI-89 Titanium]]
! [[TI-89 Titanium]]
| Texas Instruments
| [[Texas Instruments]]
| {{?}}
| {{?}}
| 2004
| 2004
Ligne 958 : Ligne 971 :
|-
|-
! [[TI-92]]
! [[TI-92]]
| Texas Instruments
| [[Texas Instruments]]
| {{?}}
| {{?}}
| 1995
| 1995
| {{?}}
| {{?}}
| No longer in production
| Production arrêtée
|
|
|-
|-
! [[TI-92 Plus]]
! [[TI-92 Plus]]
| Texas Instruments
| [[Texas Instruments]]
| 1997
| 1997
| 1998
| 1998
| 2.09
| 2.09
| No longer in production
| Production arrêtée
|
|
|-
|-
! [[TI-Nspire CAS]]
! [[Séries TI-Nspire TouchPad|TI-Nspire CAS]]</br>[[Séries TI-Nspire CX|TI-Nspire CX CAS]]
| Texas Instruments
| [[Texas Instruments]]
| 2006
| 2006
| 2008
| 2008
Ligne 982 : Ligne 995 :
|-
|-
! [[Voyage 200]]
! [[Voyage 200]]
| Texas Instruments
| [[Texas Instruments]]
| 2001
| 2001
| 2002
| 2002
Ligne 998 : Ligne 1 011 :
|}
|}


<references group="h" />
=== Logiciels à ajouter ===
 


==External links==
==Liens Externes==
Lists of computer algebra systems:
Liste de moteurs CAS:
* http://directory.google.com/Top/Science/Math/Algebra/Software/ {{Dead link|date=February 2012}}
* {{dmoz|Science/Math/Software|Math Software}}
* [http://www.cs.ru.nl/~freek/digimath/xindex.html Alphabetically sorted list compiled by Freed Wiedijk]
* [http://www.cs.ru.nl/~freek/digimath/xindex.html Alphabetically sorted list compiled by Freed Wiedijk]
* [http://www.mat.univie.ac.at/~slc/divers/software.html Combinatorial Software and Databases] (Séminaire Lotharingien de Combinatoire)
* [http://www.mat.univie.ac.at/~slc/divers/software.html Combinatorial Software and Databases] (Séminaire Lotharingien de Combinatoire)
* [http://orms.mfo.de/about ORMS] (Oberwolfach References on Mathematical Software)
* [http://orms.mfo.de/about ORMS] (Oberwolfach References on Mathematical Software)


Other:
Autres:
* [http://hughesbennett.co.uk/Maxima Use Maxima in a web browser] without downloading any software
* [http://hughesbennett.co.uk/Maxima Utilisez Maxima dans un navigateur] sans rien télécharger
* [http://axiom-developer.org/axiom-website/rosetta.html Rosetta Translations: a collection of synonyms for various operations in the computer algebra systems]
* [http://wolframalpha.com Utilisez Wolfram Alpha dans un navigateur] sans rien télécharger


{{Computer algebra systems}}


[[Category:Computer algebra systems| Comparison]]
[[Category:Mathematics-related lists|Computer algebra systems]]
[[Category:Comparisons of mathematical software|Computer algebra systems]]


<references/>
<references/>
{{Logiciels}}
{{Logiciels}}

Dernière version du 25 avril 2013 à 15:27

Un CAS ou Computer Algebra System est une fonctionnalité avancée de calcul proposée par des programmes informatiques.


Sur les calculatrices Texas Instruments, plusieurs modèles possèdent des OS avec CAS, et dans le cas des TI-Nspire la présence d'un moteur CAS est même précisée dans le nom du modèle: TI-Nspire CAS, TI-Nspire CX CAS, etc... La première calculatrice graphique possédant un CAS fut la HP-28C en 1987.


Composants d'un moteur CAS

Un moteur CAS se compose de 5 piliers ou briques essentielles, en particulier les trois premiers:

1) Un système prenant en compte la priorité des opérations
Cela parait stupide, mais il c'est la base de tout moteur CAS: savoir dans quel ordre il devra simplifier son expression pour calculer ensuite.
2) Un moteur permettant de travailler sur des formes exactes (fractions, radicaux...)
Aussi appelé Calcul exact, cette fonctionnalité permet d'obtenir des résultats non approximatifs, mais en valeur réelle.
3) Un moteur permettant de travailleur sur des formes symboliques
Aussi appelé Calcul symbolique, il s'agit ici d'être capable de calculer des choses non plus avec des nombres mais avec des lettres. Ce moteur est à la base de la factorisation d'expressions, développement, identités remarquables, etc... Le moteur doit avoir compris que la lettre représente une valeur inconnue.
4) Un moteur permettant de saisir une expression en écriture naturelle
TI appelle ce principe le MathPrint ou 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.
5) Un moteur permettant d'afficher le résultat en écriture naturelle
Cette fois aussi, le résultat affiché doit être affiché comme dans les livres. A noter que la saisie et l'affichage du résultat en écriture naturelle sont deux briques très différentes au niveau routines à programmer.

$$ 

 \sum f(x) = F(x) + g(x)

$$

Fonctionnalités

On attribue ensuite aux moteurs CAS des fonctionnalités avancées, telles que la résolutions d'équations complexes, la dérivation ou l'intégration de formules.


Ces fonctionnalités sont permises par les 5 briques évoquées précédemment, qui rendent ces calculs possibles. Ensuite, les moteurs CAS plus avancés peuvent posséder des fonctionnalités graphiques (graphes de courbes à plusieurs variables (3D), dessins vectoriels, etc...)

Sur ordinateurs

Les tableaux suivants font une comparaison des moteurs CAS existants sur ordinateur.


Généralités

Système Auteur Date de développement Première version publique Dernière version stable Prix Licence Notes
Axiom Tim Daly 1971 2002 02012-05-01mai 2012 Gratuit modified BSD license General purpose CAS. The first one with strong typing for mathematical expressions
CoCoA The CoCoA Team 1987 1995 02007-01-012007 (4.7.3) Gratuit GPL Specialized CAS for commutative algebra
Derive Soft Warehouse 1979 1988 02007-11-01novembre 2007 (6.1) Discontinued Proprietary CAS designed for pocket calculators; it was discontinued in 2007
Euler Math Toolbox R. Grothmann 1987 1988 02011-01-012011 (12.3) Gratuit GPL Numerical software linked to Maxima
Fermat Robert H. Lewis 1986 1993 02010-01-012010 (3.9.9x) $60 if grant money available, otherwise $0 Proprietary Specialized CAS for resultant computation and linear algebra with polynomial entries
FORM J.A.M. Vermaseren 1984 1989 4.0 Gratuit GPL CAS designed mainly for particle physics
GAP GAP Group 1986 1986 02013-01-012013 (4.6.2) Gratuit GPL Specialized CAS for group theory and combinatorics. Subpackage of Sage[1]
KANT/KASH KANT Group KASH3 (2005/2008) free for non-commercial use own license Specialized CAS for algebraic number theory
LiveMath
(formerly Theorist) 		Math Monkeys 1991 02007-01-012007 (3.5.9) $149, $45 student (1 year) Proprietary Numerical software for interactive solving and mathematical graphing
Macaulay2 Daniel Grayson and Michael Stillman 1992 1994 02010-01-012010 (1.4) Gratuit GPL Specialized CAS for algebraic geometry and commutative algebra
Macsyma MIT Project MAC and Symbolics 1968 1978 01999-01-011999 (2.4) $500 Proprietary The oldest general purpose CAS. Was the state of the art during almost 20 years. Still alive as Maxima
Magma University of Sydney ~1990 1993 02011-01-012011 (2.17) $1,150 Proprietary General purpose CAS, originally specialized in group theory. Works with elements of algebraic structures rather than with non typed mathematical expressions
Maple Symbolic Computation Group, University of Waterloo 1980 1984 02012-01-012012 (16) $2,275 (Commercial), $2,155 (Government), $1245(Academic), $239 (Personal Edition), $99 (Student), $79 (Student, 12-Month term) Proprietary One of the major general purpose CAS
Mathcad Parametric Technology Corporation 1985 1985 02010-01-012010 (15) $1,195 Proprietary Numerical software with some CAS capabilities
Mathematica Wolfram Research 1986 1988 02012-01-012012 (9.0.0) $2,495 (Professional), $1095 (Education), $140 (Student), $69.95 (Student annual license), $295 (Personal) Proprietary One of the major general purpose CAS
Mathomatic George Gesslein II 1986 1987 02012-01-012012 (16.0.5) Gratuit LGPL Elementary algebra, calculus, complex number and polynomial manipulations.
Maxima MIT Project MAC and Bill Schelter et al. 1967 1998 02012-01-012012 (5.28) Gratuit GPL General purpose CAS. Continuation of Macsyma. Subpackage of Sage.
MuMATH Soft Warehouse 1970s 1980 MuMATH-83 Discontinued Proprietary Predecessor of Derive
MuPAD SciFace Software 1989 2008 02008-01-012008 (5.1) Discontinued Proprietary MathWorks has incorporated MuPAD technology into Symbolic Math Toolbox
OpenAxiom Gabriel Dos Reis 2007 2007 02011-01-012011 (1.4.1) Gratuit modified BSD license General purpose CAS, the first one to have a strong typing for mathematical objects and expressions
PARI/GP Henri Cohen, Karim Belabas, Bill Allombert et al. 1985 1990 02012-01-012012 (2.5.1) Gratuit GPL Specialized CAS for Number theory. A major reference in this domain. Subpackage of Sage.
Reduce Anthony C. Hearn 1960s 1968 02009-01-012009 Gratuit modified BSD license Historically important general purpose CAS. Still alive, as open-sourced and freed in December 2008
Sage William A. Stein 2005 2005 02013-01-012013 (5.8) Gratuit GPL Mathematics software system combining a number of existing packages, including computer algebra, numerical computation, statistics and image processing
SINGULAR University of Kaiserslautern 1984 1997 02012-01-012012 (3.1.5) Gratuit GPL computer algebra system for polynomial computations, with special emphasis on commutative and non-commutative algebra, algebraic geometry, and singularity theory.
Symbolic MATLAB Toolbox MathWorks 1989 2008 02011-01-012011 (5.7(2011b)) $2900 including required MATLAB Proprietary Provides tools for solving and manipulating symbolic math expressions and performing variable-precision arithmetic.
SymbolicC++ W.-H. Steeb 1997 1997 02009-01-012009 (3.29) Gratuit GPL C++ -based
Symbolism E. Cavazos 2012 2013 2013 Gratuit modified BSD license C# library for automatic simplification of algebraic expressions
SymPy Ondřej Čertík 2006 2007 02012-01-012012 (0.7.2) Gratuit modified BSD license Python-based
TI-Nspire CAS (Computer Software) Texas Instruments 2006 2009 3.1.0.392 Proprietary Successor to Derive. Based on Derive's engine used in TI-89/Voyage 200 and TI-Nspire handheld
Wolfram Alpha Wolfram Research 2009 2012 Pro version: $4.99 / month, Pro version for students: $2.99 / month, Regular version free. Proprietary Online computer algebra system with step-by step solutions.
Xcas Bernard Parisse 2004 2008 02011-01-012011 (0.9.4) Gratuit GPL 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
Yacas Ayal Pinkus et al. 1998 02012-01-012012 (1.3.3) Gratuit GPL
Creator Development started First public release Latest stable version Cost ($ USD) License Notes

Fonctionalités

Comparaison des fonctionnalités de calcul symbolique de ces différents moteurs CAS:


Système Formula editor Arbitrary precision Calculus Solveur Graph theory Théorie des nombres Quantifier elimination Logique boléenne Tensors Probabilités Control theory Coding theory Group theory
Intégrales Transformation d'intégrales Equations Inéquations Equations Diophantiennes Equations Différentielles Relations récurrentes
Axiom Non Oui Oui Oui Oui Non Oui
Magma Non Oui Non Non Oui Non Oui Non Non Oui Oui Non Non Non Oui Oui
Maple Oui Oui Oui Oui Oui Oui Non Oui Oui Oui Oui Non Non Oui Oui Oui Non Oui
Mathcad Oui Non Oui Non Oui Non Non Non Non Non Non Non Non Non Non Non Non Non
Mathematica Oui Oui Oui Oui Oui Oui Oui Oui Oui Oui Oui Oui Oui Oui[2] Oui Oui Non Oui
Mathomatic Non Non Oui Oui Oui Non Non Non Non Non Oui Non Non Non Non Non Non Non
Symbolic MATLAB toolbox Non Oui Oui Oui Oui Non Non Oui Non Non Non Non Non Non Non
Maxima Non Oui Oui Oui Oui Oui Non Oui Oui Oui Oui Non Oui Oui Non Oui
Sage Non Oui Oui Oui Oui Oui Non Oui Oui Oui Oui Non Oui Oui Non Non Oui Oui
SymPy Non Oui Oui Oui Oui Oui Non Oui Oui Non Oui Non Oui Oui Oui Non Non Oui
Wolfram Alpha Pro version only Oui Oui Oui Oui Oui Oui Oui Oui Oui Oui Oui Oui Non Non Oui
Yacas Non Oui Oui Non Non Non Non Non Non Non Non Non Non Non Non Non
Xcas Oui Oui Oui Non Oui Oui Non Oui Oui Non Oui Non Non Non Non

OS supportés

Classification selon le système d'exploitation sous lequel ces programmes tournent nativement.


Système Microsoft Windows Mac OS X Linux BSD Solaris Autres
Axiom Oui Oui Oui Non Non ?
CoCoA Oui Oui Oui Oui Oui Tru64 UNIX, HP-UX, IRIX
Derive Oui Non Non Non Non ?
Euler Oui Non Non Non Non ?
Fermat Cygwin Oui Oui Non Non ?
FORM Cygwin Oui Oui Oui Oui ?
GAP Oui Oui Oui Oui Oui ?
KANT/KASH Oui Oui Oui Non Non Non
Macaulay2 Cygwin Oui Oui Oui Oui ?
Magma Oui Oui Oui Oui Oui ?
Maple Oui Oui Oui Non Oui Non
Mathcad Oui Non Non Non Non Non
Mathematica Oui Oui Oui Non Non Non
Mathomatic Oui Oui Oui Oui Oui Android, et toutes les plateformes POSIX
Maxima Oui Oui Oui Oui Oui All POSIX platforms with Common Lisp
MuMATH Non Non Non Non Non ?
MuPAD Oui Oui Oui Non Non ?
OpenAxiom Oui Oui Oui Oui Oui ?
PARI/GP Oui Oui Oui Oui Oui ?
Reduce Oui Oui Oui Oui Oui ?
Sage Non Oui Oui Non Oui VMware-image pour les utilisateurs de MS-Windows
SINGULAR Oui Oui Oui Oui Oui ?
SymbolicC++ Oui Oui Oui Oui Oui ?
Symbolic MATLAB toolbox Oui Oui Oui Oui Oui ?
SymPy Oui Oui Oui Oui Oui Tout système supportant le Python
Logiciels TI-Nspire Oui Oui Non Non Non iOS et Android avec les applications TI-Nspire
Xcas Oui Oui Oui Oui Oui ?
Yacas Oui Oui Oui Oui Oui ?

Sur calculatrices

La présence d'un moteur CAS sur une calculatrice est bien sur un énorme avantage de cette calculatrice.

Ainsi, Texas Instruments mais aussi ses concurrents Casio et HP ont sorti des calculatrices possédant un moteur CAS.

Certains moteurs sont meilleurs que d'autres, et diffèrent sur certains points...

Les moteurs diffèrent parfois d'une version d'OS à l'autre, souvent à cause de bugs, comme par exemple le moteur CAS archifaux de l'OS 3.0 sorti avec les toutes premières TI-Nspire CX CAS. (heureusement corrigés dans l'OS 3.1)

CAS présents en natif dans l'OS

Système Auteur Début du Développement Première version publique Dernière version stable Prix Notes
Casio CFX-9970G Casio ? 1998
Casio Algebra FX 2.0 Casio ? 1999
Casio ClassPad 330
Casio ClassPad Manager 		Casio ? 2003 3.04.5000 $140 ClassPad Manager est un émulateur PC.
Séries HP-49
HP 50G 		HP ? 1999 2.15 $110 and up Basé sur Erable. Destiné aux problèmes qui se posent en ingénierie. Le code source est libre et public.
TI-89 Texas Instruments ? 1996 2.09 Production arrêtée
TI-89 Titanium Texas Instruments ? 2004 3.10 $150
TI-92 Texas Instruments ? 1995 ? Production arrêtée
TI-92 Plus Texas Instruments 1997 1998 2.09 Production arrêtée
TI-Nspire CAS
TI-Nspire CX CAS 		Texas Instruments 2006 2008 3.2.0 $160
Voyage 200 Texas Instruments 2001 2002 3.10 $150
ZoomMath300 IQ Joe ? ? 1.03 $60 TI-83 and TI-84 application that adds CAS capabilities. Proprietary

Logiciels à ajouter

Liens Externes

Liste de moteurs CAS:

Autres:


  1. ↑ Sage components
  2. ↑ Symbolic TensorsDocumentation de Mathematica
Logiciels pour calculatrices Texas Instruments
Systèmes des calculatrices
Logiciels pour Ordinateur
Programmes pour Calculatrices
Récupérée de « https://wiki.tiplanet.org/index.php?title=CAS&oldid=2499 »