Update pub.html

Author: spitters

pub.html

@@ -33,6 +33,8 @@ <h1 align="center">Publications</h1>
 
 <li>Cezary Kaliszyk and Russell O'Connor. <a href="http://jfr.cib.unibo.it/article/view/1411/932"><em>Computing with Classical Real Numbers</em></a>. Journal of Formalized Reasoning, Vol. 2, No. 1, 2009, Pages 27--39</li>
 
+<li>Valentin Blot, <em>Basics for algebraic numbers and a proof of Liouville’s theorem in C-CoRN</em> <a href="https://valentinblot.org/pro/M1_report.pdf">PDF</a>, 2009</li>
+  
 <li>Russell O'Connor. <em><a href="http://www.springerlink.com/content/m380454267180372/">Certified Exact Transcendental Real Number Computation in Coq</a></em>. TPHOLS 2008, LNCS 5170: 246--261, Aug 2008, Proceedings</li>
 
 <li>Russell O'Connor. <em><a href="http://www.risc.uni-linz.ac.at/publications/download/risc_3448/SCSS2008_Proceedings.pdf">A Computer Verified Theory of Compact Sets</a></em>. SCSS 2008, RISC-Linz Report Series 08<96>08: 148<96>162, Jul 2008, Proceedings</li>
@@ -46,6 +48,8 @@ <h1 align="center">Publications</h1>
 
 <li>Russell O'Connor. <em><a href="http://webdoc.ubn.ru.nl/mono/o/oconnor_r/incoanco.pdf">Incompleteness &amp; Completeness: Formalizing Logic and Analysis in Type Theory</a></em>. PhD Thesis, 2009</li>
 
+<li>Luis Cruz-Filipe, Herman Geuvers, Freek Wiedijk, <em> C-CoRN, the Constructive Coq Repository at Nijmegen </em> MKM 2004 <a href="https://link.springer.com/chapter/10.1007/978-3-540-27818-4_7">DOI</a></li> 
+  
 <li>
   Luis Cruz-Filipe, <em>Constructive Real Analysis: a Type-Theoretical 
   Formalization and Applications</em>, PhD thesis, 2004;