Supplementary material for  "Correctly rounded multiplication by arbitrary precision constants"
Authors: Nicolas Brisebarre and Jean-Michel Muller

Last modification:
April 30, 2007
- our initial paper, published in the proceedings of the 17thIEEE Symposium on Computer Arithmetic (ARITH-17)

- the most recent version, submitted to the IEEE Transactions on Computers

- Maple worksheet that implements Methods 1 and 2, and that gives some examples

- PARI/GP program that implements Method 3   for information concerning PARI/GP, click here
- Maple program that implements Method 3

Related works:

- Sylvie Boldo and Jean-Michel Muller, Some Functions Computable with a Fused Mac, proceedings of ARITH-17
- N. Brisebarre, J.-M. Muller and S. Raina, Accelerating Correctly Rounded Floating-PointDivision when the Divisor is Known in AdvanceIEEE Transactions on Computers, Vol. 53, No. 8, pages 1069-1072, aug. 2004.