6 citations · 6 across the 1 of their papers we have counts for
1 paper
Sylvie Boldo, Marc Daumas, Claire Moreau-Finot +1
Most existing implementations of multiple precision arithmetic demand that the user sets the precision {\em a priori}. Some libraries are said adaptable in the sense that they dyna…