Hirokazu Anai Shinji Hara Kazuhiro Yokoyama Sum of roots with positive real parts. 21-28 2005 conf/issac/2005 ISSAC http://doi.acm.org/10.1145/1073884.1073890 db/conf/issac/issac2005.html#AnaiHY05