Efficient multiprecision floating point multiplication with optimal directional rounding | IEEE Conference Publication | IEEE Xplore