Coupling Symbolic and Numerical Computing in Knowledge-Based Systems