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