Quentin Vermande. Cylindrical Algebraic Decomposition in Coq/Rocq. In Kathrin Stark, Yannick Zakowski, Nikhil Swamy, Nicolas Tabareau, editors, Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2026, Rennes, France, January 12-13, 2026. pages 45-58, ACM, 2026. [doi]
Abstract is missing.