The three different types of computation - the algebraic manipulation, the numerical computation and the computation of verified results - are aiming on different problems and deliver qualitatively different results, each method having its specific advantages for specific classes of problems. The following remarks give some thoughts on possible combinations of all three methods to obtain algorithms benefitting from the specific strength of eiter method.
