Benjamin Sherman, Jesse Michel, Michael Carbin
Sound and robust solid modeling via exact real arithmetic and continuity
ICFP, 2019.
@article{ICFP-2019-ShermanMC,
author = "Benjamin Sherman and Jesse Michel and Michael Carbin",
doi = "10.1145/3341703",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "ICFP",
pages = "29",
title = "{Sound and robust solid modeling via exact real arithmetic and continuity}",
volume = 3,
year = 2019,
}