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.

中文翻译：

---

计算机代数保证准确性。它有什么帮助？

今天，模拟技术（基于数值计算）在科学和工程的许多领域中绝对是至关重要的。随着模拟技术的发展和普及，数值模拟的准确性变得越来越重要，并且已经进行了许多研究以建立数值稳定的算法。近年来，结合计算机代数和其他保证精度的方法作为开发用于更广泛问题的保证精度算法的有希望的方向之一引起了广泛的关注。本文说明了符号和代数方法用于保证精度计算的几种典型用法，重点介绍了最近在控制问题中的一些应用。