Hirokazu Anai Thomas Sturm 495-496 2007 18 Appl. Algebra Eng. Commun. Comput. 6 http://dx.doi.org/10.1007/s00200-007-0051-z db/journals/aaecc/aaecc18.html#AnaiS07