Describir: Symbolic-Numeric Computation