Exact numerical computation in algebra and geometry


Many problems in Computational Science &amp; Engineering (CSE) are defined on the continuum. Standard algorithms for these problems are numerical and approximate. Their computational techniques include iteration, subdivision, and approximation. Such techniques are rarely seen in exact or algebraic algorithms. In this tutorial, we discuss a mode of computation called <b>exact numerical computation</b> (ENC) that achieves exactness through numerical approximation. Through ENC, we can naturally incorporate iteration, subdivision and approximation into the design of exact algorithms for computer algebra and computational geometry. Such algorithms are both novel and practical. This tutorial on ENC is divided into three equal parts: (a) Zero Problems (b) Explicitation Problems (c) Techniques and Complexity Analysis of Adaptivity

DOI: 10.1145/1576702.1576757

Extracted Key Phrases

Cite this paper

@inproceedings{Yap2009ExactNC, title={Exact numerical computation in algebra and geometry}, author={Chee-Keng Yap}, booktitle={ISSAC}, year={2009} }