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 metadatas

Cited literature [10 references]  Display  Hide  Download
Contributor : Sylvain Pion <>
Submitted on : Thursday, December 4, 2008 - 1:55:19 PM
Last modification on : Thursday, March 5, 2020 - 4:53:27 PM
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