دورية أكاديمية
A Coq Formalization of Lebesgue Integration of Nonnegative Functions
العنوان: | A Coq Formalization of Lebesgue Integration of Nonnegative Functions |
---|---|
المؤلفون: | Boldo, SylvieAff1, IDs10817021096120_cor1, Clément, FrançoisAff2, Aff3, Faissole, Florian, Martin, Vincent, Mayero, Micaela |
المصدر: | Journal of Automated Reasoning. 66(2):175-213 |
قاعدة البيانات: | Springer Nature Journals |
تدمد: | 01687433 15730670 |
---|---|
DOI: | 10.1007/s10817-021-09612-0 |