Author:
Boldo Sylvie,Joldes Mioara,Muller Jean-Michel,Popescu Valentina
Publisher
Springer International Publishing
Reference20 articles.
1. Abad, A., Barrio, R., Dena, A.: Computing periodic orbits with arbitrary precision. Phys. Rev. E 84, 016701 (2011)
2. Bailey, D.H., Borwein, J.M.: High-precision arithmetic in mathematical physics. Mathematics 3(2), 337 (2015)
3. Boldo, S.: Iterators: where folds fail. In: Workshop on High-Consequence Control Verification, Toronto, Canada, July 2016
4. Boldo, S., Daumas, M.: A mechanically validated technique for extending the available precision. In: 35th Asilomar Conference on Signals, Systems, and Computers, Pacific Grove, California, pp. 1299–1303 (2001)
5. Boldo, S., Melquiond, G.: Flocq: a unified library for proving floating-point algorithms in Coq. In: Proceedings of the 20th IEEE Symposium on Computer Arithmetic, Tübingen, Germany, pp. 243–252, July 2011
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献