Résultats


Le code Coq des:
Fonctions mesurables;
Mesure;
Fonctions étagées;
Intégrales de Lebesgue sur les fonctions mesurables positives.

Intégrales de Lebesgue des fonctions mesurables de signe quelconque.


Accès au répertoire privé.

Offre de stage

Membres

Contact


  Coordinatrice du projet:
  Micaela Mayero


  E-mail:
  mayero@lipn.univ-paris13.fr


  Adresse:
  Micaela Mayero
  LIPN - Université Paris 13
  Institut Galilée
  99, av. J.-B. Clément
  93430 Villetaneuse
  FRANCE