本ページでは、kvライブラリを少し複雑な実問題に応用した例をいくつか紹介する。327-336.の論文にある例。考えられていたが、この論文で5つの解を持つ例が示された。その方程式は以下の通り。この方程式の5つの解を非線形方程式の全解探索プログラムで探索してみる。[0.47145516180306701,0.47145516180350833]のように精度保証付きで得られた。計算する問題を考える。(従って定数関数となる)とする。1\)と固定してしまう。これを解くために作成したプログラムを示す。Krawczyk法で解の存在を検証するものである。初期値問題を計算する。それが精度保証された固有関数である。固有関数の値は\(2^{-7}\)間隔で密出力する。実行結果は以下の通り。存在し、固有関数を描画するとのようになる。ように精度保証され、それらの固有関数を先の固有関数と併せて描画すると、のようになった。プログラムをわずかに変更して固有値の全解探索をさせてみる。探索範囲を[0,20]としてそこに含まれる全ての固有値を計算するプログラムは、sl2.ccの通り。先に近似値を元に計算した固有値が第1-第6固有値であることを示している。