Exploiting fast hardware floating point in high precision computation. - Keith O. Geddes; Wei Wei Zheng (ISSAC, 2003)