Robustness problems and verified computations for computational geometry

Katsuhisa Ozaki, Takeshi Ogita, Shin'ichi Oishi

Research output: Contribution to conferencePaper

Abstract

This paper is concerned with robustness problems in computational geometry. To solve geometric problems, numerical computations by floating-point arithmetic are preferred in terms of computational performance. However, when the rounding errors of floating-point computations accumulate, meaningless results of the problems may be obtained. It is called robustness problem in computational geometry. Recently, several verified algorithms for a two-dimensional orientation problem have been developed. By applying these algorithms, we develop an algorithm which overcomes this problem. Finally, we present numerical examples for a convex hull for a set of points on two-dimensional spaces to illustrate an efficiency of the proposed algorithm.

Original languageEnglish
Publication statusPublished - 2009 Jan 1
Externally publishedYes
EventAsia Simulation Conference 2009, JSST 2009 - Shiga, Japan
Duration: 2009 Oct 72009 Oct 9

Conference

ConferenceAsia Simulation Conference 2009, JSST 2009
CountryJapan
CityShiga
Period09/10/709/10/9

Keywords

  • Accurate numerical computation
  • Computational geometry

ASJC Scopus subject areas

  • Modelling and Simulation

Fingerprint Dive into the research topics of 'Robustness problems and verified computations for computational geometry'. Together they form a unique fingerprint.

  • Cite this

    Ozaki, K., Ogita, T., & Oishi, S. (2009). Robustness problems and verified computations for computational geometry. Paper presented at Asia Simulation Conference 2009, JSST 2009, Shiga, Japan.