A hybrid arithmetic transform for precision analysis of floating-point polynomial specifications.

Omid Sarbishei Katarzyna Radecka Zeljko Zilic

Published in: NEWCAS (2014)

Keyphrases

floating point
square root
floating point arithmetic
interval arithmetic
post processing
dynamical systems
fixed point