Login / Signup

Sound and robust solid modeling via exact real arithmetic and continuity.

Benjamin ShermanJesse MichelMichael Carbin
Published in: Proc. ACM Program. Lang. (2019)
Keyphrases