2019 05 07 Meeting

Jump to bottom

Cyril Cohen edited this page May 7, 2019 · 13 revisions

Integration

Riemann
- Coq, Coquelicot
- no continuous probabilities
- no
HK - Gauge
- HOL Light
- extends Riemann et Lebesgues
- some properties are not stable
- no
Riemann-Stieljes
- not constructed from a measure theory
Lebesgues
Lebesgues-Stielges
Daniell