Hirokazu Anai Hitoshi Yanami SyNRAC: A Maple-Package for Solving Real Algebraic Constraints. 828-837 2003 conf/iccS/2003-1 International Conference on Computational Science http://link.springer.de/link/service/series/0558/bibs/2657/26570828.htm db/conf/iccS/iccS2003-1.html#AnaiY03