数学ソフトウェア

数学ソフトウェア（すうがくソフトウェア）は、モデル、数値的あるいは記号的な解析あるいは計算、または幾何学データに用いられるソフトウェアである。^[1]
数学ソフトウェアは端的に言うと、数学の問題を解いたり、研究したりするのに用いる専用のソフトウェアである。数学とは何かについて様々な見解があるのに応じて、それに用いる数学ソフトウェアの範囲には広義と狭義にわたる見解がある。
実際、数学ソフトウェアのあるもの（数学ライブラリー）は他の科学ソフトウェアの一部に組み込まれて利用される場合がある。極めてプライマリーなもの（たとえば初等関数を浮動小数点演算をして計算する）も数学ソフトウェアの範疇に入るかもしれない。これらは一般的にはミドルウェアとして一般のシステムに組み込まれることがある。数学ソフトウェアはいわばアプリケーションソフトではあるが他の科学ソフトウェアの基本となるという側面がある。
数学ソフトウェアは教育目的などでユーザーインターフェイスが良いものも多いが、その問題を解く核となる部分は、数学上の知見に直接依存したアルゴリズムによっており、問題が少なくとも（ハードウェアに物理的な限界がある）数学的観点から構成的に解けなければ処理できなくなっている。これが他のアプリケーションソフトとの大きな違いだろう。
なかでも、数学ソフトウェアを使う際には以下に気を付けななければならない。

問題が解けることが必ずしも保証されていない。
詳細は「ゲーデルの不完全性定理」を参照
問題が原理的に解けるかもしれないが、具体的に計算機で求めようとすると、多項式時間で解けず極めて難しい。
詳細は「計算複雑性理論」を参照

2.の場合を逆に利用したのが暗号ソフトウェアである。

数学ソフトウェアの進化[編集]

従来は主に数値解析と数式処理の分野が重要な位置を占めていたが、他のものも広がりを見せている。電子計算機が現れる以前の（数値的）解法が電子計算機の出現によって、広く用いられるようになった例のように、電子計算機の発明以前にあったアルゴリズムなどの有用な数学的知見が数学ソフトウェアの開発に寄与した一方で、（ムーアの法則に見られるような）処理能力 (コンピューター)（英語版）の増大によって、従来では別物だったアルゴリズム、処理方法が統合されて、（例えば数値解析と統計学が組み合わさったようなデータ同化などの）新しい手法が逆に広い意味での数理科学ないし応用数学の発展を要請している。
TeXやMathMLなどの数学的な情報の表現方法の進歩は、（数学の体系が矛盾しているかどうかという問題とは別に）従来の単なる数式処理言語を真の数学処理言語へと進化を促すだろう。そして汎用的な数学ソフトウェアの普及の一方において、特殊な問題を扱う、いわば一芸ソフトのような数学ソフトウェアもプラットフォームの標準化が進む環境に適応しつつ生き残るだろう。そうして数学ソフトウェアの多様性は維持されていくだろう。

ソフトウェア電卓[編集]

詳細は「en:Software calculator」を参照

ソフトウェア電卓は利用者が加算、乗算、指数計算、そして三角関数のような単純な数学的な操作をするのを認識する。データー入力は典型的には手操作で、そして出力はテキスト・ラベルである。

数式処理システム[編集]

詳細は「数式処理システムの一覧」を参照

多くの数学的な一揃いのものは数式処理を用いる数式処理システムである。それらは人が読める記号法において古典的な代数方程式と問題を解くよう設計されている。

統計学[編集]

詳細は「en:List of statistical packages」を参照

多くのツールがデータの統計的な解析のために利用できる。

「en:Comparison of statistical packages」も参照

最適化ソフトウェア[編集]

詳細は「en:List of optimization software」を参照

幾何学ソフトウェア[編集]

詳細は「en:List of interactive geometry software」を参照

詳細は「グラフ作成ソフト」を参照

数値解析[編集]

詳細は「数値解析ソフトウェア」を参照

ユニバーサル・テクニカル・システムズ,Inc.（英：Universal Technical Systems,Inc）により商品化された、TK Solver（英語版）は、ルール・ベース言語を宣言することに基づいて、数理モデリングと数値問題を解くソフトウェア・システムである。
NetlibリポジトリはたいていのFortranならびにCの、数値的な問題のためのソフトウェア・ルーチンの多様な収集物を含む。多くの異なった数値的なアルゴリズムを実装する商品化された製品はIMSL、NMath（英語版）そしてNAG数値計算ライブラリを含んでいる；ひとつのフリーな代価案としてはGNU Scientific Library がある。力点がアルゴリズムの明確な理解におかれる、違ったアプローチはNumerical Recipes（英語版）によって採用される。