Category:数式処理システム
Mathematica
Wolfram MathematicaGeoGebra
GeoGebra数式処理システム
Computer algebra system数式エディタ
Formula editorMaple
Maple (software)Maxima
Maxima (software)PARI/GP
PARI/GP数式処理システムの一覧
List of computer algebra systemsTI-92シリーズ
TI-92 seriesTI-Nspireシリーズ
TI-Nspire seriesリッシュのアルゴリズム
Risch algorithmMuPAD
MuPADFORMAC
FORMAC日本Mathematicaユーザー会
GiNaC
GiNaCZindaiji
Yacas
YacasTemplate: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
Magma (数式処理システム)
Magma (computer algebra system)SINGULAR (数式処理システム)
Singular (software)GAP (数式処理システム)
GAP (computer algebra system)REDUCE (数式処理システム)
Reduce (computer algebra system)Risa/Asir
Macsyma
Macsyma