自動微分と区間演算で非線形関数の根を全て探索するアルゴリズム - Qiita

自動微分について調べていたら『精度保証付き数値計算の基礎』という本に出会いました。その中に非常に面白い応用が載っていたので紹介したいと思います。 allsol :: (RealFloat a, Ord a) =>...