HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

FPG: A code generator for fast and certified geometric predicates

Andreas Meyer 1 Sylvain Pion 1
1 GEOMETRICA - Geometric computing
CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : We present a general purpose code analyzer and generator for filtered predicates, which are critical for geometric algorithms. While there already exist such code generators, our contribution is to generate ”almost static filters”, a type of filter which could not be generated previously. The generated and safe filtered predicates are almost as fast as their inexact floating point counterparts, in most cases.
Complete list of metadata

Cited literature [10 references]  Display  Hide  Download

Contributor : Sylvain Pion Connect in order to contact the contributor
Submitted on : Thursday, December 4, 2008 - 1:55:19 PM
Last modification on : Friday, February 4, 2022 - 3:09:30 AM
Long-term archiving on: : Thursday, October 11, 2012 - 12:32:05 PM


Files produced by the author(s)


  • HAL Id : inria-00344297, version 1



Andreas Meyer, Sylvain Pion. FPG: A code generator for fast and certified geometric predicates. Real Numbers and Computers, Jun 2008, Santiago de Compostela, Spain. pp.47-60. ⟨inria-00344297⟩



Record views


Files downloads