数式処理システム
formula manipulation system
CAS
:
computer algebra system
symbolic computation system
数式処理システムの一覧
数値解析ソフトウェア
計算科学
（
Computational Science
）
自動定理証明
（
ATP
:
automated theorem proving
）
人工知能
（
AI
:
artificial intelligence
）
制約論理プログラミング
（
Constraint logic programming
）
数式処理システム - Wikipedia
Computer algebra system - Wikipedia