Category:数式処理システム
Mathematica
Wolfram Mathematica
数式処理システム
Computer algebra system
Desmos
Desmos
TI-Nspireシリーズ
TI-Nspire series
リッシュのアルゴリズム
Risch algorithm
数式エディタ
Formula editor
Maxima
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