| [1] | Nicolas Julien. Certified exact real arithmetic using co-induction in arbitrary integer base. In Functional and Logic Programming Symposium (FLOPS), LNCS. Springer, 2008. [ bib | http ] |
| [2] | Nicolas Julien. Arithmétique réelle exacte certifiée, co-induction et base arbitraire. In Journées francophones pour les langages applicatifs, JFLA'07, 2007. [ bib | http ] |
This file has been generated by bibtex2html 1.83.