-
21Repenser la bibliothèque réelle de Coq : vers une formalisation de l'analyse classique mieux adaptéeby Lelay, Catherine“... the inadequacies of the Coq standard library, we have designed a user-friendly formalization of real analysis...”
Published 2015
Get full text
-
22by Berrada, Salim“... function formalism in the ballistic limit. Graphene is a two-dimensional material made of a honeycomb...”
Published 2014
Get full text
-
23by Chenel, Aurélie“... in big systems. To reduce the dimensionality of the problem, dissipative dynamics focuses on a quantum...”
Published 2014
Get full text
-
24by Decock, Jérémie“... chapitres regroupés en 4 parties : Partie I, « Introduction générale », Partie II, « État de l'art...”
Published 2014
Get full text
