A hybrid arithmetic transform for precision analysis of floating-point polynomial specifications | IEEE Conference Publication | IEEE Xplore