Login / Signup

Certification of bounds on expressions involving rounded operators.

Marc DaumasGuillaume Melquiond
Published in: ACM Trans. Math. Softw. (2010)
Keyphrases