Results 191 to 200 of about 67,589 (200)

The Math behind arbitrary precision for integer and floating point arithmetic

2023
openaire   +1 more source

How to Get an Efficient yet Verified Arbitrary-Precision Integer Library

Lecture Notes in Computer Science, 2017
Guillaume Melquiond
exaly  

Correctly Rounded Arbitrary-Precision Floating-Point Summation

IEEE Transactions on Computers, 2017
Vincent Lefèvre
exaly  

SafeBigNum { Arbitrary-precision Arithmetic with Integrity Checking

2019
openaire   +1 more source

Fast and Rigorous Arbitrary-Precision Computation of Gauss--Legendre Quadrature Nodes and Weights

SIAM Journal of Scientific Computing, 2018
Fredrik Johansson, Marc Mezzarobba
exaly  

Adaptive Precision Floating-Point Arithmetic and Fast Robust Geometric Predicates

Discrete and Computational Geometry, 1997
Jonathan Richard Shewchuk
exaly  

An arbitrary precision real arithmetic package in REDUCE

Lecture Notes in Computer Science, 2005
Tateaki Sasaki
exaly  

Software Implementation of Numerical Algorithms in Arbitrary Precision

2013
David J Jeffrey
exaly  

An arbitrary precision real interval arithmetic package in REDUCE

1994
Molenkamp, J.H.J., van Hulzen, J.A., Goldman, V.   +2 more
openaire   +1 more source

Development and verification of arbitrary-precision integer arithmetic libraries. (Développement et vérification de bibliothèques d'arithmétique entière en précision arbitraire).

2021
openaire   +1 more source