Skip to content

CAD Adjacency Computation Using Validated Numerics.

Adam W. Strzebonski

VenueBISSAC
Year2017
ProceedingsISSAC

Browse the full ISSAC paper archive.