Symbolic-Numeric Computation (Trends in Mathematics)