Efficient and reliable methods for rounded-interval arithmetic

CAD Computer Aided Design

Volumn 30, Issue 8, 1998, Pages 657-665

  Abrams, S L ^a,d,e   Cho, W ^a,d,f   Hu, C Y ^b,f   Maekawa, T ^a,d,f   Patrikalakis, N M ^a,f   Sherbrooke, E C ^c,f   Ye, X ^b  

^a Massachusetts Institute of Technology Cambridge   (United States)

^b SolidWorks Corporation   (United States)

^c New Technologies Inc   (United States)

^d Ocean Engineering Design Laboratory   (United States)

^e BOSTON UNIVERSITY   (United States)

^f MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Binary representation; Denormalized number; IEEE Std 754 1985; Rounded interval arithmetic; Unit in the last place

Indexed keywords

EID: 0000694691     PISSN: 00104485     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0010-4485(97)00086-9     Document Type: Article

References (17)

1. ANSI/IEEE Std 754-1985. IEEE Standard for Binary Floating-Point Arithmetic. IEEE, New York, 1985. Reprinted in ACM SIGPLAN Notices, 1987, 22(2), 9-25.
2. ANSI/IEEE Std 754-1985. IEEE Standard for Binary Floating-Point Arithmetic. IEEE, New York, 1985. Reprinted in ACM SIGPLAN Notices, 1987, 22(2), 9-25.
3. Cho, W., Topologically reliable approximation of curves and surfaces. PhD thesis, Massachusetts Institute of Technology, Cambridge, MA, 1997.
4. Cho, W., Maekawa, T. and Patrikalakis, N. M., Topologically reliable approximation of composite Bézier curves. Computer Aided Geometric Design, 1996, 13(6), 497-520.
5. Goldberg, D., What every computer scientist should know about floating-point arithmetic. ACM Computing Surveys, 1991. 23(1), 5-48.
6. Hu, C.-Y., Maekawa, T., Patrikalakis, N. M. and Ye, X., Robust interval algorithm for surface intersections. Computer-Aided Design. 1997, 29(9), 617-627.
7. Hu, C-Y., Maekawa, T., Sherbrooke, E. C. and Patrikalakis, N. M., Robust interval algorithm for curve intersections. Computer-Aided Design. 1996, 28(6/7), 495-506.
8. Hu, C.-Y., Patrikalakis, N. M. and Ye, X., Robust interval solid modeling: Part I, Representations. Computer-Aided Design, 1996, 28(10), 807-817.
9. Hu, C.-Y., Patrikalakis, N. M. and Ye, X., Robust interval solid modeling: Part II, Boundary evaluation. Computer-Aided Design, 1996, 28(10), 819-830.
10. Kernighan, B. W. and Ritchie, D. M., The C Programming Language, 2nd edn. Prentice-Hall, Englewood Cliffs, NJ, 1988.
11. Maekawa, T., Robust computational methods for shape interrogation. PhD thesis, Massachusetts Institute of Technology, Cambridge, MA, 1993.
12. Maekawa, T. and Patrikalakis, N. M., Computation of singularities and intersections of offsets of planar curves. Computer Aided Geometric Design, 1993, 10(5), 407-429.
13. Maekawa, T. and Patrikalakis, N. M., Interrogation of differential geometric properties for design and manufacture. The Visual Computer, 1994, 10(4), 216-237.
14. Moore, R. E., Interval Analysis. Prentice-Hall, Englewood Cliffs, NJ, 1966.
15. Pettinati, F., Private communication, October 10, 1997.
16. Tuohy, S. T., Maekawa, T., Shen, G. and Patrikalakis, N. M., Approximation of measured data with interval B-splines. Computer-Aided Design, 1997, 29(11), 791-799.
17. Tuohy, S. T., Yoon, J. W. and Patrikalakis, N. M., Reliable interrogation of 3-D non-linear geophysical databases. In Computer Graphics: Developments in Virtual Environments, Proceedings of CG International '95 (Leeds, UK, June 1995), ed. J. A. Vince and R. A. Earnshaw. Academic Press, London. 1995, pp. 327-341.