@inproceedings{nguyen:hal-00772508, TITLE = {{Hardware-Dependent Proofs of Numerical Programs}}, AUTHOR = {Nguyen, Thi Minh Tuyen and March{\'e}, Claude}, URL = {https://inria.hal.science/hal-00772508}, BOOKTITLE = {{Certified Programs and Proofs}}, ADDRESS = {Kenting, Taiwan}, YEAR = {2011}, MONTH = Dec, PDF = {https://inria.hal.science/hal-00772508/file/main.pdf}, HAL_ID = {hal-00772508}, HAL_VERSION = {v1}, }