FPG: A code generator for fast and certified geometric predicates
暂无分享,去创建一个
[1] Guy E. Blelloch,et al. Automatic generation of staged geometric predicates , 2001, ICFP '01.
[2] Kurt Mehlhorn,et al. Classroom Examples of Robustness Problems in Geometric Computations , 2004, ESA.
[3] Olivier Devillers,et al. Efficient Exact Geometric Predicates for Delauny Triangulations , 2003, ALENEX.
[4] Jonathan Richard Shewchuk,et al. Adaptive Precision Floating-Point Arithmetic and Fast Robust Geometric Predicates , 1997, Discret. Comput. Geom..
[5] Christopher J. Van Wyk,et al. Static analysis yields efficient exact integer arithmetic for computational geometry , 1996, TOGS.
[6] Pierre Alliez,et al. Computational geometry algorithms library , 2008, SIGGRAPH '08.
[7] Sylvain Pion,et al. Interval arithmetic yields efficient dynamic filters for computational geometry , 1998, SCG '98.
[8] Guillaume Melquiond,et al. Formal certification of arithmetic filters for geometric predicates , 2005 .
[9] Kurt Mehlhorn,et al. Classroom Examples of Robustness Problems in Geometric Computations , 2004, ESA.
[10] Stefan Funke,et al. Exact geometric predicates using cascaded computation , 1998, SCG '98.