Abstract
We give a fast algorithm for computing a lower bound on the distance between a straight line and the points of a bounded regular grid. This algorithm is used to find worst cases when trying to round the elementary functions correctly in floating-point arithmetic. These worst cases are useful to design algorithms that guarantee the exact rounding of the elementary functions.
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
R Alessandri and V. Berthé. Three distance theorems and combinatorics on words. Research report, Institut de Mathématiques de Luminy, Marseille, France, 1997.
V. Lefèvre. An algorithm that computes a lower bound on the distance between a segment and ℤ2. Research report 97–18, Laboratoire de l’Informatique du Parallélisme, Lyon, France, 1997.
V. Lefèvre, J.-M. Muller, and A. Tisserand. Towards correctly rounded transcendentals. In Proceedings of the 13th IEEE Symposium on Computer Arithmetic,Asilomar, USA, 1997. IEEE Computer Society Press, Los Alamitos, CA.
V. T. Sós. On the distribution mod 1 of the sequence na. Ann. Univ. Sci. Budapest, Eötvös Sect. Math., 1: 127–134, 1958.
J. Surnnyi. Über die Anordnung der Vielfachen einer reellen Zahl mod 1. Ann. Univ. Sci. Budapest, Eötvös Sect. Math., 1: 107–111, 1958.
S. Swierczkowski. On successive settings of an arc on the circumference of a circle. Fundamenta Math., 46: 187–189, 1958.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Lefèvre, V. (1999). An Algorithm that Computes a Lower Bound on the Distance Between a Segment and ℤ2 . In: Csendes, T. (eds) Developments in Reliable Computing. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-1247-7_16
Download citation
DOI: https://doi.org/10.1007/978-94-017-1247-7_16
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-5350-3
Online ISBN: 978-94-017-1247-7
eBook Packages: Springer Book Archive