Floating-point algorithms and formal proofs : a didactic tour with Coq
Bookmark
ShareCopied to clipboardFloating-point algorithms and formal proofs : a didactic tour with Coq is a book. It was written by Sylvie Boldo and published by North-Holland Biomedical Press in 2016.
Key facts
- author: Sylvie Boldo
- publication date: 2016
- book publisher: North-Holland Biomedical Press
- book series: unknown
- book subjects: Algorithms, Proof theory, Floating-point arithmetic
See more factsExtract data
Download datasets about Floating-point algorithms and formal proofs : a didactic tour with Coq:
Dataset of books series that contain Floating-point algorithms and formal proofs : a didactic tour with Coq:
Dataset of book subjects that contain Floating-point algorithms and formal proofs : a didactic tour with Coq:
"Floating-point algorithms and formal proofs : a didactic tour with Coq" is one of the books by Sylvie Boldo, books by North-Holland Biomedical Press and 2,617,384 books in our database.
Related
Connected or similar to Floating-point algorithms and formal proofs : a didactic tour with Coq: .
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.