Lazard-style CAD and Equational Constraints.

James Harold Davenport, Akshar Sajive Nair, Gregory Kumar Sankaran, Ali Kemal Uncu

Browse the full ISSAC paper archive.