Multiprecision floating point addition.

George E. Collins, Werner Krandick

Browse the full ISSAC paper archive.