Category:数式処理システム
Mathematica
Wolfram Mathematica数式処理システム
Computer algebra systemDesmos
DesmosTI-Nspireシリーズ
TI-Nspire seriesリッシュのアルゴリズム
Risch algorithm数式エディタ
Formula editorMaxima
Maxima (software)TI-92シリーズ
TI-92 seriesYacas
YacasFORMAC
FORMAC日本Mathematicaユーザー会
GiNaC
GiNaCZindaiji
Template:Computer algebra systems
Template:Computer algebra systemsAxiom (数式処理システム)
Axiom (computer algebra system)Fast Library for Number Theory
Fast Library for Number TheoryGeneral Algebraic Modeling System
General algebraic modeling systemGeometry Expressions
Julia (プログラミング言語)
Julia (programming language)Magma (数式処理システム)
Magma (computer algebra system)SINGULAR (数式処理システム)
Singular (software)GAP (数式処理システム)
GAP (computer algebra system)MuPAD
MuPADREDUCE (数式処理システム)
Reduce (computer algebra system)PARI/GP
PARI/GPMacsyma
MacsymaRisa/Asir
SymPy
SymPy