Nicolas Julien

According to our database, Nicolas Julien authored at least 2 papers between 2008 and 2009.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2009

Formal Verification of Exact Computations Using Newton's Method.

Nicolas Julien, Ioana Pasca

Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009

2008

Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base.

Nicolas Julien

Proceedings of the Functional and Logic Programming, 9th International Symposium, 2008