Adherence is better than adjacency: computing the Riemann index using CAD.

James C. Beaumont, Russell J. Bradford, James H. Davenport, Nalina Phisanbut

Browse the full ISSAC paper archive.