Michel, L., Mathonet, P., & Zenaïdi, N. (2024). On Minimal and Minimum Cylindrical Algebraic Decompositions. In International Symposium on Symbolic and Algebraic Computation (ISSAC ’24). New York, United States - New York: ACM. doi:10.1145/3666000.3669704 Peer reviewed |