generated at
数式処理システム
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