Simple floating-point filters for the two-dimensional orientation problem

Katsuhisa Ozaki, Florian Bünger, Takeshi Ogita, Shinichi Oishi, Siegfried M. Rump

    Research output: Contribution to journalArticle

    3 Citations (Scopus)

    Abstract

    This paper is concerned with floating-point filters for a two dimensional orientation problem which is a basic problem in the field of computational geometry. If this problem is only approximately solved by floating-point arithmetic, then an incorrect result may be obtained due to accumulation of rounding errors. A floating-point filter can quickly guarantee the correctness of the computed result if the problem is well-conditioned. In this paper, a simple semi-static floating-point filter which handles floating-point exceptions such as overflow and underflow by only one branch is developed. In addition, an improved fully-static filter is developed.

    Original languageEnglish
    JournalBIT Numerical Mathematics
    DOIs
    Publication statusAccepted/In press - 2015 Jul 25

    Fingerprint

    Digital arithmetic
    Computational geometry
    Floating point
    Filter
    Floating-point Arithmetic
    Overflow
    Rounding error
    Computational Geometry
    Exception
    Correctness
    Branch

    Keywords

    • Computational geometry
    • Floating-point arithmetic
    • Floating-point filter

    ASJC Scopus subject areas

    • Computer Networks and Communications
    • Software
    • Applied Mathematics
    • Computational Mathematics

    Cite this

    Simple floating-point filters for the two-dimensional orientation problem. / Ozaki, Katsuhisa; Bünger, Florian; Ogita, Takeshi; Oishi, Shinichi; Rump, Siegfried M.

    In: BIT Numerical Mathematics, 25.07.2015.

    Research output: Contribution to journalArticle

    Ozaki, Katsuhisa ; Bünger, Florian ; Ogita, Takeshi ; Oishi, Shinichi ; Rump, Siegfried M. / Simple floating-point filters for the two-dimensional orientation problem. In: BIT Numerical Mathematics. 2015.
    @article{f37ba6a3bb4b4a028385b91b8ec8ef66,
    title = "Simple floating-point filters for the two-dimensional orientation problem",
    abstract = "This paper is concerned with floating-point filters for a two dimensional orientation problem which is a basic problem in the field of computational geometry. If this problem is only approximately solved by floating-point arithmetic, then an incorrect result may be obtained due to accumulation of rounding errors. A floating-point filter can quickly guarantee the correctness of the computed result if the problem is well-conditioned. In this paper, a simple semi-static floating-point filter which handles floating-point exceptions such as overflow and underflow by only one branch is developed. In addition, an improved fully-static filter is developed.",
    keywords = "Computational geometry, Floating-point arithmetic, Floating-point filter",
    author = "Katsuhisa Ozaki and Florian B{\"u}nger and Takeshi Ogita and Shinichi Oishi and Rump, {Siegfried M.}",
    year = "2015",
    month = "7",
    day = "25",
    doi = "10.1007/s10543-015-0574-9",
    language = "English",
    journal = "BIT",
    issn = "0006-3835",
    publisher = "Springer Netherlands",

    }

    TY - JOUR

    T1 - Simple floating-point filters for the two-dimensional orientation problem

    AU - Ozaki, Katsuhisa

    AU - Bünger, Florian

    AU - Ogita, Takeshi

    AU - Oishi, Shinichi

    AU - Rump, Siegfried M.

    PY - 2015/7/25

    Y1 - 2015/7/25

    N2 - This paper is concerned with floating-point filters for a two dimensional orientation problem which is a basic problem in the field of computational geometry. If this problem is only approximately solved by floating-point arithmetic, then an incorrect result may be obtained due to accumulation of rounding errors. A floating-point filter can quickly guarantee the correctness of the computed result if the problem is well-conditioned. In this paper, a simple semi-static floating-point filter which handles floating-point exceptions such as overflow and underflow by only one branch is developed. In addition, an improved fully-static filter is developed.

    AB - This paper is concerned with floating-point filters for a two dimensional orientation problem which is a basic problem in the field of computational geometry. If this problem is only approximately solved by floating-point arithmetic, then an incorrect result may be obtained due to accumulation of rounding errors. A floating-point filter can quickly guarantee the correctness of the computed result if the problem is well-conditioned. In this paper, a simple semi-static floating-point filter which handles floating-point exceptions such as overflow and underflow by only one branch is developed. In addition, an improved fully-static filter is developed.

    KW - Computational geometry

    KW - Floating-point arithmetic

    KW - Floating-point filter

    UR - http://www.scopus.com/inward/record.url?scp=84937882728&partnerID=8YFLogxK

    UR - http://www.scopus.com/inward/citedby.url?scp=84937882728&partnerID=8YFLogxK

    U2 - 10.1007/s10543-015-0574-9

    DO - 10.1007/s10543-015-0574-9

    M3 - Article

    JO - BIT

    JF - BIT

    SN - 0006-3835

    ER -