Algebraic Computation, Numerical Computation and Verified Inclusions

• Authors:

• Siegfried M. Rump

• Affiliations:

• -

• Venue:
• Proceedings of the International Symposium on Trends in Computer Algebra
• Year:
• 1987