Open Access
October 2009 Computer Algebra for Guaranteed Accuracy. How Does It Help?
Masaaki Kanno, Hirokazu Anai
Japan J. Indust. Appl. Math. 26(2-3): 517-530 (October 2009).


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.


Download Citation

Masaaki Kanno. Hirokazu Anai. "Computer Algebra for Guaranteed Accuracy. How Does It Help?." Japan J. Indust. Appl. Math. 26 (2-3) 517 - 530, October 2009.


Published: October 2009
First available in Project Euclid: 1 February 2010

zbMATH: 1191.68889
MathSciNet: MR2589488

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

Rights: Copyright © 2009 The Japan Society for Industrial and Applied Mathematics

Vol.26 • No. 2-3 • October 2009
Back to Top