Toggle navigation
Home
People
Departments
Research
About
Login
Search
Computer Certified Efficient Exact Reals in Coq.
Conferences
Overview
Identity
Additional Document Info
View All
Overview
authors
Farmer, William Michael
Krebbers, Robbert
Spitters, Bas
publication date
2011
published in
Calculemus/MKM
Journal
Identity
International Standard Book Number (ISBN) 13
978-3-642-22672-4
Additional Document Info
start page
90
end page
106
volume
6824
Posted by
3
X users
Referenced in
3
Wikipedia pages
Reddited by
1
See more details