Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Boldo, Sylvie
and
Melquiond, Guillaume
2008.
Emulation of a FMA and Correctly Rounded Sums: Proved Algorithms Using Rounding to Odd.
IEEE Transactions on Computers,
Vol. 57,
Issue. 4,
p.
462.
Boldo, Sylvie
2009.
Kahan's Algorithm for a Correct Discriminant Computation at Last Formally Proven.
IEEE Transactions on Computers,
Vol. 58,
Issue. 2,
p.
220.
Dufourd, Jean-François
and
Bertot, Yves
2010.
Interactive Theorem Proving.
Vol. 6172,
Issue. ,
p.
211.
Karavelas, Menelaos I.
2010.
Mathematical Software – ICMS 2010.
Vol. 6327,
Issue. ,
p.
96.
Daumas, Marc
and
Melquiond, Guillaume
2010.
Certification of bounds on expressions involving rounded operators.
ACM Transactions on Mathematical Software,
Vol. 37,
Issue. 1,
p.
1.
de Dinechin, Florent
Lauter, Christoph
and
Melquiond, Guillaume
2011.
Certifying the Floating-Point Implementation of an Elementary Function Using Gappa.
IEEE Transactions on Computers,
Vol. 60,
Issue. 2,
p.
242.
Ozaki, Katsuhisa
Ogita, Takeshi
and
Oishi, Shinʼichi
2012.
A robust algorithm for geometric predicate by error-free determinant transformation.
Information and Computation,
Vol. 216,
Issue. ,
p.
3.
Mouli, Surej
Palaniappan, Ramaswamy
and
Sillitoe, Ian P.
2015.
Brain-Computer Interfaces.
Vol. 74,
Issue. ,
p.
241.
Ozaki, Katsuhisa
Bünger, Florian
Ogita, Takeshi
Oishi, Shin’ichi
and
Rump, Siegfried M.
2016.
Simple floating-point filters for the two-dimensional orientation problem.
BIT Numerical Mathematics,
Vol. 56,
Issue. 2,
p.
729.
2017.
Floating-Point Algorithms and Formal Proofs.
p.
289.
Ohta, Yuki
and
Ozaki, Katsuhisa
2019.
Extension of floating-point filters to absolute and relative errors for numerical computation.
Journal of Physics: Conference Series,
Vol. 1218,
Issue. 1,
p.
012011.
Qi, Meng
Yan, Ke
and
Zheng, Yuanjie
2019.
GPredicates: GPU Implementation of Robust and Adaptive Floating-Point Predicates for Computational Geometry.
IEEE Access,
Vol. 7,
Issue. ,
p.
60868.
Uchino, Yuki
and
Ozaki, Katsuhisa
2021.
Verified Numerical Computations for Searching for Vectors with the Maximum Sum.
Journal of Advanced Simulation in Science and Engineering,
Vol. 8,
Issue. 1,
p.
53.