Fulltext present in this item

Thumbnail
Fulltext: 91656.pdf
Format: PDF
Description: preprint version
Embargo: until further notice
Title: Computer Certified Efficient Exact Reals in Coq
Author(s): Krebbers, R.J. ; Spitters, B.A.W.
Publication year: 2011
In: Davenport, J.; Farmer, W.; Urban, J. (ed.), Intelligent Computer Mathematics :18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings, pp. 90-106
Publisher: Berlin : Springer
ISBN: 9783642226724
Series: Lecture Notes in Artificial Intelligence ; 6824
DOI: https://doi.org/10.1007/978-3-642-22673-1_7
Publication type: Part of book or chapter of book

Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/91656   https://hdl.handle.net/2066/91656

Display more details
Editor(s): Davenport, J.; Farmer, W.; Urban, J.; Rabe, F.
Subject: Data Science
Digital Security
Organization: Data Science
Digital Security
Book title: Davenport, J.; Farmer, W.; Urban, J. (ed.), Intelligent Computer Mathematics :18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings
Page start: p. 90
Page end: p. 106

This item appears in the following Collection(s)

Browse

Statistics