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

Abstract

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

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

Dates
First available in Project Euclid: 1 February 2010

Permanent link to this document
https://projecteuclid.org/euclid.jjiam/1265033794

Mathematical Reviews number (MathSciNet)
MR2589488

Zentralblatt MATH identifier
1191.68889

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

Citation

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