Category:数式処理システム
 - MaximaMaxima (software)
 - MathematicaWolfram Mathematica
 - SymPySymPy
 - 数式処理システムComputer algebra system
 - SageMathSageMath
 - 数式処理システムの一覧List of computer algebra systems
 - リッシュのアルゴリズムRisch algorithm
 - YacasYacas
 - TI-92シリーズTI-92 series
 - FORMACFORMAC
 - 日本Mathematicaユーザー会
 - GiNaCGiNaC
 - Zindaiji
 - Template:Computer algebra systemsTemplate:Computer algebra systems
 - Axiom (数式処理システム)Axiom (computer algebra system)
 - Fast Library for Number TheoryFast Library for Number Theory
 - General Algebraic Modeling SystemGeneral algebraic modeling system
 - Geometry Expressions
 - Julia (プログラミング言語)Julia (programming language)
 - Magma (数式処理システム)Magma (computer algebra system)
 - SINGULAR (数式処理システム)Singular (software)
 - GAP (数式処理システム)GAP (computer algebra system)
 - MuPADMuPAD
 - REDUCE (数式処理システム)Reduce (computer algebra system)
 - MacsymaMacsyma
- PARI/GPPARI/GP
 - Risa/Asir
 - DesmosDesmos