Category:数式処理システム
Maxima
Maxima (software)TI-Nspireシリーズ
TI-Nspire series数式処理システムの一覧
List of computer algebra systemsSymPy
SymPyYacas
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)REDUCE (数式処理システム)
Reduce (computer algebra system)Macsyma
MacsymaTI-92シリーズ
TI-92 seriesPARI/GP
PARI/GPリッシュのアルゴリズム
Risch algorithmMuPAD
MuPAD数式エディタ
Formula editorDesmos
DesmosSageMath
SageMathRisa/Asir