A new idea on the interval-symbol method with correct zero rewriting for reducing exact computations. - Akiyuki Katayama; Kiyoshi Shirayanagi (ACM Commun. Comput. Algebra, 2016)