Ivan I. Shevchenko Numeric Deduction in Symbolic Computation. Application to Normalizing Transformations. 103-111 1997 24 J. Symb. Comput. 1 db/journals/jsc/jsc24.html#Shevchenko97