- http://sollya.gforge.inria.fr/ -- 安全なfloating point 計算のcoding のためのツール環境 -- mathematical floating-point libraries (libm)の自動実装, 保証付き infinity (supremum) ノルム, 高速 Remez アルゴリズム, .. [[:included in knxm:]]