6 citations · 17 across the 6 of their papers we have counts for
1 paper · 1 filter
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…