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]
@inproceedings{DavenportNSU23,
title = {Lazard-style CAD and Equational Constraints},
author = {James Harold Davenport and Akshar Sajive Nair and Gregory Kumar Sankaran and Ali Kemal Uncu},
year = {2023},
doi = {10.1145/3597066.3597090},
url = {https://doi.org/10.1145/3597066.3597090},
researchr = {https://researchr.org/publication/DavenportNSU23},
cites = {0},
citedby = {0},
pages = {218-226},
booktitle = {Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023},
editor = {Alicia Dickenstein and Elias P. Tsigaridas and Gabriela Jeronimo},
publisher = {ACM},
}