Lazard's CAD exploiting equality constraints

Akshar Nair, James H. Davenport, Gregory Sankaran, Scott McCallum. Lazard's CAD exploiting equality constraints. ACM Comm. Computer Algebra, 53(3):138-141, 2019. [doi]

Abstract

Abstract is missing.