Abstract
Verification in Computer Algebra Systems. In this paper, we have attempted to demonstrate that the question of condition, i.e. of the sensitivity of results w.r.t. perturbations of data, may play a role in algebraic algorithms, even if they are carried out in rational arithmetic. Poor condition is traced to a near-degeneracy of the situation specified by the data. Thus in a process called verification in this context, the presence of a genuinely degenerate problem near the specified problem should be discovered before or during the execution of the algorithm; the algorithm should switch to a stable modification in this case. Such modified versions are obtained by regarding the specified problem as a perturbation of the nearby degenerate one. Finally, it is indicated how these ideas may also lead to safe implementations of algebraic algorithms in floating-point arithmetic.
These ideas are developed considering the integration of rational functions, the choice of basis in multivariate polynomial interpolation, and the computation of zeros of multivariate polynomial systems.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Sasaki, T., Nöda, M. T.: Approximate square-free decomposition and rootfinding for ill-conditioned algebraic equations. J. Inf. Proc. 12, 159 – 168 (1989).
Rahman, A. A.: On the numerical Solution of polynomial equations, Ph.D. Thesis, Univ. of Bradford, 1989.
de Boor, C., Ron, A.: On multivariate polynomial interpolation. Constr. Approx. 6, 287 – 302 (1990).
de Boor, C., Ron, A.: Computational aspects of polynomial interpolation in several variables, CS Tech. Rep. #924, Univ. Wisc. 1990.
Davenport, J. H., Siret, Y., Tournier, E.: Computer algebra: Systems and algorithms for algebraic computation. London: Academic Press 1988.
Auzinger, W., Stetter, H. J.: An elimination algorithm for the computation of all zeros of a system of multivariate polynomial equations. Conference in Numerical Analysis, ISNM 86, 11 – 30 (1988).
Golub, G. H., van Loan, C. F.: Matrix computations 2nd edn. Baltimore: John Hopkins University Press 1989.
Kulisch, U., Stetter, H. J. (eds.): Scientific computation with automatic result verification. Wien New York: Springer 1988 (Computing Suppl. 6).
Anderson, E., et al.: LAPACK User’s Guide; SIAM, 1992.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Additional information
Dedicated to Professor U. Kulisch on the occasion of his 60th birthday
Rights and permissions
Copyright information
© 1993 Springer-Verlag
About this chapter
Cite this chapter
Stetter, H.J. (1993). Verification in Computer Algebra Systems. In: Albrecht, R., Alefeld, G., Stetter, H.J. (eds) Validation Numerics. Computing Supplementum, vol 9. Springer, Vienna. https://doi.org/10.1007/978-3-7091-6918-6_18
Download citation
DOI: https://doi.org/10.1007/978-3-7091-6918-6_18
Publisher Name: Springer, Vienna
Print ISBN: 978-3-211-82451-1
Online ISBN: 978-3-7091-6918-6
eBook Packages: Springer Book Archive