Certified Lower Bounds of Roundoff Errors using Semidefinite Programming. - Victor Magron; Mountassir Farid (CoRR, 2016)