Update ref to lcf

Author: spitters

index.html

@@ -23,8 +23,9 @@ <h1 align="center">Coq Repository at Nijmegen</h1>
 <li>Fundamental Theorem of Calculus, closely following the Bishop-Bridges book on Constructive Analysis. (PhD: Cruz-Filipe, advisor: Geuvers)</li>
 <li>Program extraction for real computation (Cruz-Filipe, Letouzey, Spitters)</li>
 <li>Abstract model of the real numbers (PhD: Niqui, advisor: Geuvers)</li>
-<li>Efficient computation with real numbers and metric spaces inside Coq (PhD: O'Connor, advisor: Spitters) </li>
-<li>Interface with Coq's standard library reals (Kaliszyk and O'Connor).</li>
+<li>Efficient computation with real numbers and metric spaces (PhD: O'Connor, advisor: Spitters) </li>
+<li>Riemann integration (O'Connor, Spitters)</li>
+<li>Interface with Coq's standard library reals (Kaliszyk, O'Connor).</li>
 <li><a href="http://wiki.portal.chalmers.se/cse/pmwiki.php/ForMath/ForMath">ForMath</a>
   project (Spitters, Krebbers, van der Weegen, Makarov):<ul>
   <li> Fast computation inside Coq</li>

lcf1.bib

@@ -0,0 +1,21 @@
+@inproceedings{Cruz-Filipe02,
+   author = {Luis Cruz-Filipe},
+   title = {Formalizing real calculus in {Coq}},
+   pages = {158-166},
+   year = {2002},
+   crossref = {tphols2002fcm}
+}
+
+@proceedings{tphols2002fcm,
+   editor = {Victor Carre{\~{n}}o and
+   C{\'{e}}sar A. Mu{\~{n}}oz and
+   Sofi{\`{e}}ne Tahar},
+   title = {Theorem Proving in Higher Order Logics,
+   Proceedings of the Workshop on Formalising Continuous Mathematics,
+   Hampton, VA, USA, August 19, 2002},
+   booktitle = {Theorem Proving in Higher Order Logics,
+   Proceedings of the Workshop on Formalising Continuous Mathematics,
+   Hampton, VA, USA, August 19, 2002},
+   publisher = {NASA Technical Report NASA/CP-2002-211736},
+   year = {2002},
+}

pub.html

@@ -90,8 +90,8 @@ <h1 align="center">Publications</h1>
   Carre&ntilde;o, V., Mu&ntilde;oz, C.  and Tahar, S. (eds.),
   <i>Theorem Proving in Higher Order Logics</i>, pages 158-166, NASA
   Conference Proceedings, Hampton VA, 2002;
-  <a href="http://www.cs.ru.nl/%7Elcf/pubs/paper1.pdf">pdf</a>,
-  <a href="http://www.cs.ru.nl/%7Elcf/pubs/paper1.bib">BiBTeX</a>
+  <a href="http://sqig.math.ist.utl.pt/pub/CruzFilipeL/02-C-contmaths.ps">pdf</a>,
+  <a href="lcf1.bib">BiBTeX</a>
  </li>
 
  <li>
@@ -136,4 +136,4 @@ <h1 align="center">Publications</h1>
 
 <div align="center"><a href="index.html">[Home]</a></div>
 </body>
-</html>
+</html>