Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Michael Carbin
Proving Acceptability Properties of Relaxed Nondeterministic Approximate Programs
ACM SIGPLAN Notices
Computer Science
Sound and Robust Solid Modeling via Exact Real Arithmetic and Continuity
Proceedings of the ACM on Programming Languages
Computable Decision Making on the Reals and Other Spaces
