4 citations · 6 across the 5 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021
A Coq Formalization of Lebesgue Integration of Nonnegative Functions
Sylvie Boldo, François Clément, Florian Faissole +2
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…
cs.LO2021★ 1 cited
Lebesgue integration. Detailed proofs to be formalized in Coq
François Clément, Vincent Martin
To obtain the highest confidence on the correction of numerical simulation programs implementing the finite element method, one has to formalize the mathematical notions and result…