Yves Bertot. Fixed Precision Patterns for the Formal Verification of Mathematical Constant Approximations. In Xavier Leroy, Alwen Tiu, editors, Proceedings of the 2015 Conference on Certified Programs and Proofs, CPP 2015, Mumbai, India, January 15-17, 2015. pages 147-155, ACM, 2015. [doi]
Abstract is missing.