Category:数式処理システム
GeoGebra
GeoGebraTI-92シリーズ
TI-92 seriesYacas
YacasMacsyma
MacsymaMaple
Maple (software)FORMAC
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)PARI/GP
PARI/GPRisa/Asir
SINGULAR (数式処理システム)
Singular (software)GAP (数式処理システム)
GAP (computer algebra system)MuPAD
MuPADREDUCE (数式処理システム)
Reduce (computer algebra system)TI-Nspireシリーズ
TI-Nspire seriesリッシュのアルゴリズム
Risch algorithmSageMath
SageMathSymPy
SymPy数式エディタ
Formula editorMaxima
Maxima (software)