Update pub.html

Author: spitters

pub.html

@@ -11,14 +11,16 @@ <h1 align="center">Publications</h1>
 
 <ul>
 <li>Evgeny Makarov and Bas Spitters <em>The Picard Algorithm for Ordinary Differential Equations in Coq</em>
-Rough Diamond in <a href="http://itp2013.inria.fr/">ITP2013</a>, <a href="http://www.cs.ru.nl/~spitters/Picard.pdf">pdf</a> (<a href="https://github.com/c-corn/corn/tree/master/ode">sources</a>), (<a href="http://www.cs.ru.nl/~spitters/Picard.bib">bib</a>), 2013.</li>
+Rough Diamond in <a href="http://itp2013.inria.fr/">ITP2013</a>, <a href="https://link.springer.com/chapter/10.1007/978-3-642-39634-2_34">link</a>,  
+  <a href="https://cs.au.dk/~spitters/Picard.pdf">pdf</a> (<a href="https://github.com/c-corn/corn/tree/master/ode">sources</a>), 2013.</li>
 
 <li>Robbert Krebbers and Bas Spitters <em>Type classes for efficient exact real arithmetic in Coq</em> 
-<a href="http://www.lmcs-online.org">LMCS</a> 9(1:1), 2013. 10.2168/LMCS-9(1:01)2013. <a href="http://www.lmcs-online.org/ojs/viewarticle.php?id=987&layout=abstract">PDF</a> <a href="http://arxiv.org/abs/1106.3448/">1106.3448</a>. 
-<a href="http://robbertkrebbers.nl/research/reals/">sources</a> (<a href="http://www.cs.ru.nl/~spitters/LMCS.bib">bib</a>).</li>
+<a href="http://www.lmcs-online.org">LMCS</a> 9(1:1), 2013. 10.2168/LMCS-9(1:01)2013. <a href="https://lmcs.episciences.org/958">PDF</a> <a href="http://arxiv.org/abs/1106.3448/">1106.3448</a>. 
+<a href="http://robbertkrebbers.nl/research/reals/">sources</a>.</li>
 
 <li>Robbert Krebbers and Bas Spitters <em>Computer certified efficient exact reals in Coq</em>
-<a href="http://arxiv.org/abs/1105.2751">1105.2751</a>. <a href="http://cicm11.cs.unibo.it/cicm11/">CICM'11</a> LNCS 90-106, 2011. <a href="http://dx.doi.org/10.1007/978-3-642-22673-1_7">10.1007/978-3-642-22673-1_7</a>. <a href="http://www.cs.ru.nl/~spitters/calculemus.pdf">PDF</a>, <a href="http://www.cs.ru.nl/~spitters/calculemus.bib">bib</a>, <a href="http://robbertkrebbers.nl/research/reals/">sources</a>.
+<a href="http://arxiv.org/abs/1105.2751">1105.2751</a>. <a href="http://cicm11.cs.unibo.it/cicm11/">CICM'11</a> LNCS 90-106, 2011. <a href="http://dx.doi.org/10.1007/978-3-642-22673-1_7">10.1007/978-3-642-22673-1_7</a>.
+  <a href="http://www.cs.ru.nl/~spitters/calculemus.bib">bib</a>, <a href="http://robbertkrebbers.nl/research/reals/">sources</a>.
 </li>
 
 <li> Bas Spitters and Eelis van der Weegen <em>Type Classes for Mathematics in Type Theory</em>.