精度保証付き数値計算をつかったsuper fast real root counting

摘要

大域領域における高速なrealrootcountingの手法を紹介する．''実根を数える∥という問題設定であるが，すべての実根を区間数で包み込hでしまえばそれはこの問題の解法を与えていることになるのでその方針で計算を行う算法も紹介することをあらかじめ注意しておく．ここでは3つのアルゴリズムを紹介する．