Formally certified floating-point filters for homogeneous geometric predicates-Reference-Cited by-同舟云学术

Formally certified floating-point filters for homogeneous geometric predicates

Published:2007-01 Issue:1 Volume:41 Page:57-69
ISSN:0988-3754
Container-title:RAIRO - Theoretical Informatics and Applications
language:
Short-container-title:RAIRO-Theor. Inf. Appl.

Author:

Melquiond Guillaume,Pion Sylvain

Publisher

EDP Sciences

Subject

Computer Science Applications,General Mathematics,Software

Link

http://www.rairo-ita.org/10.1051/ita:2007005/pdf

Reference14 articles.

1. Interval arithmetic yields efficient dynamic filters for computational geometry

2. EXACT GEOMETRIC COMPUTATION USING CASCADING

3. The CGAL Manual, 2004. Release 3.1.

4. M. Daumas and G. Melquiond, Generating formally certified bounds on values and round-off errors, in6th Conference on Real Numbers and Computers. Dagstuhl, Germany (2004).

5. O. Devillers and S. Pion, Efficient exact geometric predicates for Delaunay triangulations, inProc. 5th Workshop Algorithm Eng. Exper.(2003) 37–44.

Cited by 15 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Verified Numerical Computations for Searching for Vectors with the Maximum Sum;Journal of Advanced Simulation in Science and Engineering;2021

2. Extension of floating-point filters to absolute and relative errors for numerical computation;Journal of Physics: Conference Series;2019-05-01

3. GPredicates: GPU Implementation of Robust and Adaptive Floating-Point Predicates for Computational Geometry;IEEE Access;2019

4. Meshless voronoi on the GPU;ACM Transactions on Graphics;2018-12-31

5. Bibliography;Floating-Point Algorithms and Formal Proofs;2017