The iRRAM: Exact Arithmetic in C++
CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
MPFR: A multiple-precision binary floating-point library with correct rounding
ACM Transactions on Mathematical Software (TOMS)
Fast library for number theory: an introduction
ICMS'10 Proceedings of the Third international congress conference on Mathematical software
Practical divide-and-conquer algorithms for polynomial arithmetic
CASC'11 Proceedings of the 13th international conference on Computer algebra in scientific computing
Mathemagix: the quest of modularity and efficiency for symbolic and certified numeric computation?
ACM Communications in Computer Algebra
Hi-index | 0.00 |