精度保証付き数値計算
INTLAB: MATLAB/GNU Octaveを使用するライブラリである。 VERSOFT (MATLAB/INTLABで開発されたライブラリ) INTSOLVER (大域最適化問題を解くためのライブラリ、INTLABを使用して開発された)
kv (C++によるライブラリである) kv - GitHub
Arb C言語によるライブラリであり、様々な特殊関数の精度保証に対応している。 arb - GitHub
JuliaIntervals - GitHub (Juliaによるライブラリ)
その他、様々なライブラリが開発されている。