Japan Journal of Industrial and Applied Mathematics

Computer Algebra for Guaranteed Accuracy. How Does It Help?

Masaaki Kanno and Hirokazu Anai

Full-text: Open access


Today simulation technologies (based on numerical computation) are definitely vital in many fields of science and engineering. The accuracy of numerical simulations grows in importance as simulation technologies develop and prevail, and many researches have been carried out for establishing numerically stable algorithms. In recent years, combining computer algebra and other guaranteed accuracy approaches draws much attention as one of promising directions for developing guaranteed accuracy algorithms for a wider class of problems. This paper illustrates several typical usages of symbolic and algebraic methods for guaranteed accuracy computation, highlighting some of the recent applications in control problems.

Article information

Japan J. Indust. Appl. Math., Volume 26, Number 2-3 (2009), 517-530.

First available in Project Euclid: 1 February 2010

Permanent link to this document

Mathematical Reviews number (MathSciNet)

Zentralblatt MATH identifier

algebraic methods control systems design guaranteed accuracy computation validated numerical methods interval methods


Kanno, Masaaki; Anai, Hirokazu. Computer Algebra for Guaranteed Accuracy. How Does It Help?. Japan J. Indust. Appl. Math. 26 (2009), no. 2-3, 517--530. https://projecteuclid.org/euclid.jjiam/1265033794

Export citation