نتائج البحث

Intégration : intégrale de Lebesgue et introduction à l'analyse fonctionnelle : cours et exercices corrigés Ed. 2

• Authors : Goudon, Thierry; Goudon, Thierry

Subjects: book

تفاصيل العنوان

A Coq Formalization of Lebesgue Integration of Nonnegative Functions ; Une formalisation en Coq de l'intégrale de Lebesgue des fonctions positives

• Authors : Boldo, Sylvie; Clément, François; Faissole, Florian ...

Subjects: Measure theory; Formal proof; Coq

• Source: https://inria.hal.science/hal-03194113 ; [Research Report] RR-9401, Inria, France. 2021, pp.38.

تفاصيل العنوان

Lebesgue integration. Detailed proofs to be formalized in Coq ; Intégrale de Lebesgue. Preuves détaillées en vue d'une formalisation en Coq

• Authors : Clément, François; Martin, Vincent;

Subjects: Formal proof in real analysis; Detailed mathematical proof; Lebesgue integration

• Source: https://inria.hal.science/hal-03105815 ; [Research Report] RR-9386, Inria Paris. 2021, pp.567.

تفاصيل العنوان

L'intégrale de Lebesgue en L1

• Authors : UCL - SST/IRMP - Institut de recherche en mathématique et physique; UCL - SC/MATH - Département de mathématique; Moonens, Laurent

Subjects: Intégrale de Lebesgue; Théorème fondamental de l'analyse; 1120

• Source: Quadrature, Vol. 73, p. 24-31 (Septembre 2009)

تفاصيل العنوان

L'Intégrale de Lebesgue, par J. Dixmier,.., 1961

• Authors : Dixmier, Jacques, 1924, Auteur du texte

• Source: Bibliothèque nationale de France, département Littérature et art, 4-Z-6035 (2), 1961.

تفاصيل العنوان

Lebesgue Induction and Tonelli's Theorem in Coq ; Induction de Lebesgue et théorème de Tonelli en Coq

• Authors : Boldo, Sylvie; Clément, François; Martin, Vincent ...

Subjects: Tonelli theorem; Lebesgue integration; Measure theory

• Source: https://inria.hal.science/hal-03564379 ; [Research Report] RR-9457, Institut National de Recherche en Informatique et en Automatique (INRIA). 2023, pp.17.

تفاصيل العنوان

L'Intégrale de Lebesgue , par J. Dixmier,...

• Authors : Dixmier, Jacques (1924-....). Auteur du texte

Subjects: text; monographie imprimée; printed monograph

• Source: Bibliothèque nationale de France, département Littérature et art, 4-Z-6035 (2)

تفاصيل العنوان

Lebesgue Induction and Tonelli's Theorem in Coq ; Induction de Lebesgue et théorème de Tonelli en Coq

• Authors : Boldo, Sylvie; Clément, François; Martin, Vincent ...

Subjects: Formal proof; Coq; Measure theory

• Source: https://hal.inria.fr/hal-03564379 ; [Research Report] RR-9457, Institut National de Recherche en Informatique et en Automatique (INRIA). 2022, pp.16.

تفاصيل العنوان

L'intégrale de Lebesgue

• Authors : Deheuvels, R.

• Source: Annales de l'Institut Fourier, 7 (1957) p 383-393

تفاصيل العنوان

SUR QUELQUES MÉTHODES DE RÉGULARISATION DES INTÉGRALES DIVERGENTES, APPLICATION À LA RENORMALISATION

• Authors : Jonot, Jean Louis;

Subjects: Renormalisation; Régularisation dimensionnelle; Extension analytique

• Source: https://hal.archives-ouvertes.fr/hal-01281271 ; [Rapport de recherche] Académie de Versailles. 2016.

تفاصيل العنوان