M. T. Noda E. Miyahiro On the Symbolic/Numeric Hybrid Integration. 304 1990 conf/issac/1990 ISSAC http://doi.acm.org/10.1145/96877.96973 db/conf/issac/issac90.html#NodaM90