Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Report

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

Subjects: Formal proof; Coq; Measure theory

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

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

×
Report

A Coq Formalization of the Bochner integral ; Une formalisation en Coq de l'intégrale de Bochner

Subjects: Formal proof; Coq; Measure theory

  • Source: https://inria.hal.science/hal-03516749 ; [Research Report] RR-9456, Inria Saclay - Île de France; Inria de Paris. 2022.

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

×
Report

Mobility Hubs, a lever for more sustainable mobility?

Subjects: Mobi-Mix; Mobility Hubs; Shared Mobility

  • Source: https://hal.science/hal-03795005 ; [Research Report] Université gustave eiffel; LVMT. 2022, pp.75.

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

×
  • 1-10 ل  241 نتائج ل ""Research Report""