Automatic generation of staged geometric predicates

DOI10.1145/507635.507662zbMath1323.68540OpenAlexW2137720835MaRDI QIDQ5178011

Aleksandar Nanevski, Guy E. Blelloch, Robert Harper

Publication date: 9 March 2015

Published in: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/507635.507662

Mathematics Subject Classification ID

Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Theory of compilers and interpreters (68N20) Functional programming and lambda calculus (68N18) Roundoff error (65G50)

Related Items (2)

Recent progress in exact geometric computation ⋮ Formally certified floating-point filters for homogeneous geometric predicates

This page was built for publication: Automatic generation of staged geometric predicates