The uniform representation of mathematical objects by truncated power series

Systems for symbolic mathematics are based on the availability of powerful methods and techniques, which have been developed for numeric computation, symbolic and algebraic computation and automated deduction. But those different computing paradigms really work independently in such systems. Each of them represents an individual computing environment, while they are not integrated to support a uniform environment for computation. The problem of the integration of numeric and symbolic computation is still open (Caviness 1986, Limongelli and Miola 1990, Mascari and Miola 1986).