Generation and Verification of Algorithms for Symbolic-Numeric Processing. - Ladislav Kocbach; Richard Liska (J. Symb. Comput., 1998)