Return to Article Details Adendum to Self-verified extension of affine arithmetic to arbitrary order Download Download PDF