9 citations · 20 across the 28 of their papers we have counts for
Showing 2007Show all
2 papers · 1 filter
math.LO2007
Five Conferences on Undecidability
Nicolas Bouleau, Jean-Yves Girard, Alain Louveau
These five lectures on undecidability were given to students with a good level in mathematics but with no special knowledge on logic. The first conference presents the formalizatio…
math.PR2007★ 1 cited
Bringing errors into focus
Nicolas Bouleau
This lecture presents recent advances in the theory of errors propagation. We first explain in which cases the propagation of errors may be performed with a first order differentia…