1 342
modifications
Ligne 371 : | Ligne 371 : | ||
{| class="wikitable" style="font-size: smaller; text-align: center; width: auto;" | {| class="wikitable" style="font-size: smaller; text-align: center; width: auto;" | ||
|- | |- | ||
! rowspan="2" | | ! 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" | | ! colspan="5" | Solveur | ||
! rowspan="2" | [[Graph theory]] | ! rowspan="2" | [[Graph theory]] | ||
! rowspan="2" | | ! rowspan="2" | Théorie des nombres | ||
! rowspan="2" | [[Quantifier elimination]] | ! rowspan="2" | [[Quantifier elimination]] | ||
! rowspan="2" | | ! rowspan="2" | Logique boléenne | ||
! rowspan="2" | [[Tensors]] | ! rowspan="2" | [[Tensors]] | ||
! rowspan="2" | | ! 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"| | |style="text-align: center"| Intégrales | ||
|style="text-align: center"| | |style="text-align: center"| Transformation d'intégrales | ||
|style="text-align: center"| | |style="text-align: center"| Equations | ||
|style="text-align: center"| | |style="text-align: center"| Inéquations | ||
|style="text-align: center"| | |style="text-align: center"| Equations Diophantiennes | ||
|style="text-align: center"| | |style="text-align: center"| Equations Différentielles | ||
|style="text-align: center"| | |style="text-align: center"| Relations récurrentes | ||
|- | |- | ||
! | ! Axiom | ||
| {{no}} | | {{no}} | ||
| {{yes}} | | {{yes}} | ||
Ligne 402 : | Ligne 402 : | ||
| {{yes}} | | {{yes}} | ||
| {{yes}} | | {{yes}} | ||
| | | | ||
| | | | ||
| | | | ||
| | | | ||
| | | | ||
| | | | ||
| | | | ||
| | | | ||
| | | | ||
| | | | ||
| | | | ||
| {{no}} | | {{no}} | ||
| {{yes}} | | {{yes}} | ||
|- | |- | ||
! | ! Magma | ||
| {{no}} | | {{no}} | ||
| {{yes}} | | {{yes}} | ||
Ligne 432 : | Ligne 432 : | ||
| {{no}} | | {{no}} | ||
| {{no}} | | {{no}} | ||
| | | | ||
| | | | ||
| {{yes}} | | {{yes}} | ||
| {{yes}} | | {{yes}} | ||
|- | |- | ||
! | ! Maple | ||
| {{yes}} | | {{yes}} | ||
| {{yes}} | | {{yes}} | ||
Ligne 459 : | Ligne 459 : | ||
|- | |- | ||
! | ! Mathcad | ||
| {{yes}} | | {{yes}} | ||
| {{no}} | | {{no}} | ||
Ligne 480 : | Ligne 480 : | ||
|- | |- | ||
! | ! Mathematica | ||
| {{yes}} | | {{yes}} | ||
| {{yes}} | | {{yes}} | ||
Ligne 494 : | Ligne 494 : | ||
| {{yes}} | | {{yes}} | ||
| {{yes}} | | {{yes}} | ||
| {{yes}}<ref>[http://reference.wolfram.com/mathematica/guide/SymbolicTensors.html Symbolic Tensors] Mathematica | | {{yes}}<ref>[http://reference.wolfram.com/mathematica/guide/SymbolicTensors.html Symbolic Tensors]Documentation de Mathematica</ref> | ||
| {{yes}} | | {{yes}} | ||
| {{yes}} | | {{yes}} | ||
Ligne 501 : | Ligne 501 : | ||
|- | |- | ||
! | ! Mathomatic | ||
| {{no}} | | {{no}} | ||
| {{no}} | | {{no}} | ||
Ligne 522 : | Ligne 522 : | ||
|- | |- | ||
! Symbolic | ! Symbolic MATLAB toolbox | ||
| {{no}} | | {{no}} | ||
| {{yes}} | | {{yes}} | ||
Ligne 531 : | Ligne 531 : | ||
| {{no}} | | {{no}} | ||
| {{yes}} | | {{yes}} | ||
| | | | ||
| {{no}} | | {{no}} | ||
| | | | ||
| {{no}} | | {{no}} | ||
| {{no}} | | {{no}} | ||
| {{no}} | | {{no}} | ||
| {{no}} | | {{no}} | ||
| | | | ||
| {{no}} | | {{no}} | ||
| {{no}} | | {{no}} | ||
|- | |- | ||
! | ! Maxima | ||
| {{no}} | | {{no}} | ||
| {{yes}} | | {{yes}} | ||
Ligne 558 : | Ligne 558 : | ||
| {{yes}} | | {{yes}} | ||
| {{yes}} | | {{yes}} | ||
| | | | ||
| | | | ||
| {{no}} | | {{no}} | ||
| {{yes}} | | {{yes}} | ||
|- | |- | ||
! | ! Sage | ||
| {{no}} | | {{no}} | ||
| {{yes}} | | {{yes}} | ||
Ligne 585 : | Ligne 585 : | ||
|- | |- | ||
! | ! SymPy | ||
| {{no}} | | {{no}} | ||
| {{yes}} | | {{yes}} | ||
Ligne 605 : | Ligne 605 : | ||
| {{yes}} | | {{yes}} | ||
|- | |- | ||
! | ! Wolfram Alpha | ||
| Pro version only | | Pro version only | ||
| {{yes}} | | {{yes}} | ||
Ligne 620 : | Ligne 620 : | ||
| {{yes}} | | {{yes}} | ||
| {{no}} | | {{no}} | ||
| | | | ||
| | | | ||
| {{no}} | | {{no}} | ||
| {{yes}} | | {{yes}} | ||
|- | |- | ||
! | ! Yacas | ||
| {{no}} | | {{no}} | ||
| {{yes}} | | {{yes}} | ||
Ligne 640 : | Ligne 640 : | ||
| {{no}} | | {{no}} | ||
| {{no}} | | {{no}} | ||
| | | | ||
| | | | ||
| {{no}} | | {{no}} | ||
| {{no}} | | {{no}} | ||
|- | |- | ||
! | ! Xcas | ||
| {{yes}} | | {{yes}} | ||
| {{yes}} | | {{yes}} | ||
Ligne 660 : | Ligne 660 : | ||
| {{no}} | | {{no}} | ||
| {{no}} | | {{no}} | ||
| | | | ||
| | | | ||
| {{no}} | | {{no}} | ||
| | | | ||
|} | |} | ||
===OS supportés=== | ===OS supportés=== |