24066096
Results 1 to 1 of 1
Selection :
Certification of Bounds on Expressions Involving Rounded OperatorsDAUMAS, Marc; MELQUIOND, Guillaume.ACM transactions on mathematical software. 2011, Vol 37, Num 1, issn 0098-3500, 2.1-2.20Article