Fixed-point rounding: $|\rho(u)|\le|u|$ and $|\rho(u)-u|<\sqrt2\cdot2^{-p}$ · Prove2Me

P

Initializing...

Fixed-point rounding: $|\rho(u)|\le|u|$ and $|\rho(u)-u|<\sqrt2\cdot2^{-p}$ · Prove2Me