Adding CAD and word problem CPP2026

Author: CohenCyril

papers.html

@@ -36,7 +36,8 @@ This is a memo to serve in the event we change the sectioning
 #+END_COMMENT
 
 * Mathematics
-
+- Reinis Cirpons, Florent Hivert, Assia Mahboubi, Guillaume Melquiond, James Mitchell, Finn Smith, _Certifying the decidability of the word problem in monoids at large_. CPP 2026. [[https://hal.science/hal-05448783][pdf]]
+- Quentin Vermande, _Cylindrical Algebraic Decomposition in Coq/Rocq_. CPP 2026. [[https://dl.acm.org/doi/epdf/10.1145/3779031.3779100][pdf]]
 - Reynald Affeldt, Alessandro Bruni, Cyril Cohen, Pierre Roux, Takafumi Saikawa.
   _Formalizing Concentration Inequalities in Rocq: Infrastructure and Automation_.
   ITP 2025. [[https://drops.dagstuhl.de/storage/00lipics/lipics-vol352-itp2025/LIPIcs.ITP.2025.21/LIPIcs.ITP.2025.21.pdf][pdf]]