Skip to content

Open Non-uniform Cylindrical Algebraic Decompositions.

Christopher W. Brown

VenueBISSAC
Year2015
ProceedingsISSAC

Browse the full ISSAC paper archive.