Algorithms in Real Algebraic Geometry

Algorithms in Real Algebraic Geometry (Algorithms and Computation in Mathematics)

上記Basuの論文のようにsemialgebraic setに対するアルゴリズムを扱った書。
なかなか難しくて、高いので、買わないでいたけど、Royのページからコピーを入手できるようだ。