James Harold Davenport, Akshar Sajive Nair, Gregory Kumar Sankaran, Ali Kemal Uncu. Lazard-style CAD and Equational Constraints. In Alicia Dickenstein, Elias P. Tsigaridas, Gabriela Jeronimo, editors, Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023. pages 218-226, ACM, 2023. [doi]
No references recorded for this publication.
No citations of this publication recorded.