Nicolas Julien

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2009

2 Nicolas Julien, Ioana Pasca: Formal Verification of Exact Computations Using Newton's Method. TPHOLs 2009: 408-423

2008

1 Nicolas Julien: Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base. FLOPS 2008: 48-63

	2009
2		Nicolas Julien, Ioana Pasca: Formal Verification of Exact Computations Using Newton's Method. TPHOLs 2009: 408-423
	2008
1		Nicolas Julien: Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base. FLOPS 2008: 48-63

Coauthor Index

1 Ioana Pasca [2]