Verifiable implementations of geometric algorithms using finite precision arithmetic

Overview of attention for article published in Artificial Intelligence, December 1988

Altmetric Badge

Mentioned by

patent: 2 patents

Readers on

mendeley: 27 Mendeley

So far, Altmetric has seen 2 patents that reference this research output.

Robust tetrahedralization and triangulation method with applications in VLSI layout…

Grant US-7075532-B2

United States of America

Robust boolean operations in design rule checking

Grant US-6690385-B1

United States of America

This page shows the most recent patents that mention this research output. Click here to find out how to access more activity.