The MACSYMA "big-floating-point" arithmetic system.

Richard J. Fateman

Browse the full ISSAC paper archive.