Sign in

Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations.

Victor MagronAlexandre RoccaThao Dang
Published in: IEEE Trans. Computers (2019)
Keyphrases