fix README, INSTALL

Author: affeldt-aist

INSTALL.md

@@ -50,7 +50,7 @@ $ opam install coq-mathcomp-analysis
 ```
 To install a precise version, type, say
 ```
-$ opam install coq-mathcomp-analysis.1.14.0
+$ opam install coq-mathcomp-analysis.1.15.0
 ```
 4. Everytime you want to work in this same context, you need to type
 ```

README.md

@@ -62,7 +62,7 @@ make install
 
 Each file is documented in its header in ASCII.
 
-[HTML rendering of the source code](https://math-comp.github.io/analysis/htmldoc_1_14_0/index.html) (using [`rocqnavi`](https://github.com/affeldt-aist/rocqnavi)).
+[HTML rendering of the source code](https://math-comp.github.io/analysis/htmldoc/1_15_0/index.html) (using [`rocqnavi`](https://github.com/affeldt-aist/rocqnavi)).
 It includes inheritance diagrams for the mathematical structures that MathComp-Analysis adds on top of MathComp's ones.
 
 Overview presentations:
@@ -97,6 +97,8 @@ Other work using MathComp-Analysis:
 - [Semantics of Probabilistic Programs using s-Finite Kernels in Dependent Type Theory](https://dl.acm.org/doi/pdf/10.1145/3732291) (2025)
 - [A Formal Foundation for Equational Reasoning on Probabilistic Programs](https://staff.aist.go.jp/reynald.affeldt/documents/eddy_aplas2025.pdf) (2025)
   doi:[10.1007/978-981-95-3585-9_3](https://doi.org/10.1007/978-981-95-3585-9_3)
+- [Cylindrical Algebraic Decomposition in Coq/Rocq](https://dl.acm.org/doi/epdf/10.1145/3779031.3779100) (2026)
+  doi:[3779031.3779100](https://doi.org/10.1145/3779031.3779100)
 
 ## About the stability of this library