View of Self-verified extension of affine arithmetic to arbitrary order

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