Seminar Algebra and Geometry: Guillaume Batog (Université de Nancy)

Using polynomial invariants to compute geometric predicates