@entry{bol-con-12-aa-scalpre-c, author = {D Boland and GA Constantinides}, title = {A scalable approach for automated precision analysis}, journal = {Proceedings of the ACM/SIGDA ...,}, volume = {}, number = {}, pages = {}, year = 2012, month = , doi = {}, comment = {}, abstract = {}, url = {{\url{https://dl.acm.org/doi/abs/10.1145/2145694.2145726?casa_token=-kZAn0WrtXcAAAAA:EKTbMUJi_fNb6GB02oDYySXWxt1OwLVqpK-uaZ_6K9Arks3Y0CDHbcff_UFpdnd94eeS-oqzUro}}}, quotes = {... When performing polynomial approximations, for a fair comparison we use the same polynomial approximation method for affine arithmetic and our approach, with the exception of ...} }