[hal-03194113] A Coq Formalization of Lebesgue Integration of Nonnegative Functions

8 décembre 2021 | ano.nymous@ccsd.cnrs.fr.invalid (Sylvie Boldo), Sylvie Boldo
Integration, just as much as differentiation, is a fundamental calculus tool that is widely used in many scientific domains. Formalizing the mathematical concept of integration and the associated results in a formal proof assistant helps in providing the highest confidence on the correctness of (…)
 Site référencé:  HAL (extrême droite)

HAL (extrême droite) 

 Globales | 2019 · 2026