Open weak CAD and its applications

Jingjun Han, Liyun Dai, Hoon Hong, Bican Xia. Open weak CAD and its applications. Journal of Symbolic Computation, 80:785-816, 2017. [doi]

Abstract

Abstract is missing.