Search results for: Vincent Lefèvre
IEEE Transactions on Computers > 2017 > 66 > 12 > 2111 - 2124
Lecture Notes in Computer Science > Reliable Implementation of Real Number Algorithms: Theory and Practice > 114-126
Handbook of Floating-Point Arithmetic > Extensions > 493-516