1 どんなものか

この文書で説明する kv は、 柏木雅英氏作成の C++ によるによる精度保証付き数値計算ライブラリである (単なる区間演算以外に色々な関数が用意されているので、 区間演算ライブラリィと言うよりも、 精度保証付き数値計算ライブラリィと言うのがしっくり来る)。

「kv - C++による精度保証付き数値計算ライブラリ」 が WWW サイトである。 kv の説明は、その下にある 「区間演算ライブラリ」 が分かりやすい。

以前、試してみたときのメモ 「kv を試してみる」(2016) が残っている。

kv を簡略化した、 「シンプルな区間演算ライブラリ」 と言うのもリリースされている (これに私が気づいたのは 2020/8/30)。 多くの応用ではこれで十分と言う気がする。 (2019/4/19リリース？)

2020/8/30 の段階で、kv の最新版は kv-0.4.50.tar.gz である。

「kv-intro.pdf」 という文書 (L^ATEX Beamer で作ったスライド) がある。

curl -O http://verifiedby.me/kv/kv-intro.pdf
open kv-intro.pdf

90ページ近くあるのに、しおりがついていない (うわー)。 でも日本語だし、色々有益な情報が書いてある。