Results 261 to 270 of about 69,420 (286)
Some of the next articles are maybe not open access.
Verification methods: Rigorous results using floating-point arithmetic
Acta Numerica, 2010Siegfried M Rump
exaly
Floating-point arithmetic in the Coq system
Information and Computation, 2012Guillaume Melquiond
exaly
Adaptive Precision Floating-Point Arithmetic and Fast Robust Geometric Predicates
Discrete and Computational Geometry, 1997Jonathan Richard Shewchuk
exaly
Floating point arithmetic teaching for computational science
Future Generation Computer Systems, 2003José Jesús Fernández
exaly
High-Precision Floating-Point Arithmetic in Scientific Computation
Computing in Science and Engineering, 2005exaly
Algorithm 693: a FORTRAN package for floating-point multiple-precision arithmetic
ACM Transactions on Mathematical Software, 1991exaly
Secure floating point arithmetic and private satellite collision analysis
International Journal of Information Security, 2014Liina Kamm, Jan Willemson
exaly