Formally certified floating-point filters for homogeneous geometric predicates
RAIRO-Theor. Inf. Appl., 41 1 (2007) 57-69
Published online: 2007-04-24
Articles citing this article
The Citing articles tool gives a list of articles citing the current article.
The citing articles come from EDP Sciences database, as well as other publishers participating in CrossRef Cited-by Linking Program. You can set up your personal account to receive an email alert each time this article is cited by a new article (see the menu on the right-hand side of the abstract page).
Cited article:
This article has been cited by the following article(s):
Verified Numerical Computations for Searching for Vectors with the Maximum Sum
Yuki Uchino and Katsuhisa OzakiJournal of Advanced Simulation in Science and Engineering 8 (1) 53 (2021)
https://doi.org/10.15748/jasse.8.53
Extension of floating-point filters to absolute and relative errors for numerical computation
Yuki Ohta and Katsuhisa OzakiJournal of Physics: Conference Series 1218 (1) 012011 (2019)
https://doi.org/10.1088/1742-6596/1218/1/012011
GPredicates: GPU Implementation of Robust and Adaptive Floating-Point Predicates for Computational Geometry
Meng Qi, Ke Yan and Yuanjie ZhengIEEE Access 7 60868 (2019)
https://doi.org/10.1109/ACCESS.2019.2911641
Meshless voronoi on the GPU
Nicolas Ray, Dmitry Sokolov, Sylvain Lefebvre and Bruno LévyACM Transactions on Graphics 37 (6) 1 (2018)
https://doi.org/10.1145/3272127.3275092
Floating-Point Algorithms and Formal Proofs
Floating-Point Algorithms and Formal Proofs 289 (2017)https://doi.org/10.1016/B978-1-78548-112-3.50015-1
Simple floating-point filters for the two-dimensional orientation problem
Katsuhisa Ozaki, Florian Bünger, Takeshi Ogita, Shin’ichi Oishi and Siegfried M. RumpBIT Numerical Mathematics 56 (2) 729 (2016)
https://doi.org/10.1007/s10543-015-0574-9
Brain-Computer Interfaces
Surej Mouli, Ramaswamy Palaniappan and Ian P. SillitoeIntelligent Systems Reference Library, Brain-Computer Interfaces 74 241 (2015)
https://doi.org/10.1007/978-3-319-10978-7_9
A robust algorithm for geometric predicate by error-free determinant transformation
Katsuhisa Ozaki, Takeshi Ogita and Shinʼichi OishiInformation and Computation 216 3 (2012)
https://doi.org/10.1016/j.ic.2011.09.007
Certifying the Floating-Point Implementation of an Elementary Function Using Gappa
Florent de Dinechin, Christoph Lauter and Guillaume MelquiondIEEE Transactions on Computers 60 (2) 242 (2011)
https://doi.org/10.1109/TC.2010.128
Certification of bounds on expressions involving rounded operators
Marc Daumas and Guillaume MelquiondACM Transactions on Mathematical Software 37 (1) 1 (2010)
https://doi.org/10.1145/1644001.1644003
Mathematical Software – ICMS 2010
Menelaos I. KaravelasLecture Notes in Computer Science, Mathematical Software – ICMS 2010 6327 96 (2010)
https://doi.org/10.1007/978-3-642-15582-6_20
Interactive Theorem Proving
Jean-François Dufourd and Yves BertotLecture Notes in Computer Science, Interactive Theorem Proving 6172 211 (2010)
https://doi.org/10.1007/978-3-642-14052-5_16
Kahan's Algorithm for a Correct Discriminant Computation at Last Formally Proven
Sylvie BoldoIEEE Transactions on Computers 58 (2) 220 (2009)
https://doi.org/10.1109/TC.2008.200
Emulation of a FMA and Correctly Rounded Sums: Proved Algorithms Using Rounding to Odd
Sylvie Boldo and Guillaume MelquiondIEEE Transactions on Computers 57 (4) 462 (2008)
https://doi.org/10.1109/TC.2007.70819