Category:数式処理システム
GeoGebra
GeoGebraDesmos
Desmosリッシュのアルゴリズム
Risch algorithmYacas
YacasTI-92シリーズ
TI-92 seriesMaxima
Maxima (software)Macsyma
MacsymaFORMAC
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)REDUCE (数式処理システム)
Reduce (computer algebra system)Risa/Asir
MuPAD
MuPADPARI/GP
PARI/GPSymPy
SymPyMaple
Maple (software)TI-Nspireシリーズ
TI-Nspire series数式エディタ
Formula editor