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

:included in knxm:


トップ   編集 凍結 差分 バックアップ 添付 複製 名前変更 リロード   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS
Last-modified: 2015-01-09 (金) 18:44:24 (1653d)