Formally certified floating-point filters for homogeneous geometric predicates

DOI10.1051/ita:2007005zbMath1133.65010OpenAlexW2105516957MaRDI QIDQ5444102

Guillaume Melquiond, Sylvain Pion

Publication date: 22 February 2008

Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL: http://www.numdam.org/item?id=ITA_2007__41_1_57_0

zbMATH Keywords

verificationfloating-point arithmetic

Mathematics Subject Classification ID

Numerical aspects of computer graphics, image analysis, and computational geometry (65D18) Algorithms with automatic result verification (65G20)

Related Items (3)

Simple floating-point filters for the two-dimensional orientation problem ⋮ Further analysis of Kahan’s algorithm for the accurate computation of $2\times 2$ determinants ⋮ A robust algorithm for geometric predicate by error-free determinant transformation

Cites Work

• Unnamed Item
• Adaptive precision floating-point arithmetic and fast robust geometric predicates
• Interval Methods for Systems of Equations
• EXACT GEOMETRIC COMPUTATION USING CASCADING
• Automatic generation of staged geometric predicates
• Algorithms – ESA 2004
• Interval arithmetic yields efficient dynamic filters for computational geometry

This page was built for publication: Formally certified floating-point filters for homogeneous geometric predicates