TY  - RPRT
TI  - Lazard-style CAD and Equational Constraints
AU  - James H. Davenport
AU  - Akshar S. Nair
AU  - Gregory K. Sankaran
AU  - Ali K. Uncu
PY  - 2023
DO  - 10.1145/3597066.3597090
UR  - https://arxiv.org/abs/2302.05813
ID  - 2302.05813
ER  -