Results 141 to 150 of about 51,902 (192)
Some of the next articles are maybe not open access.
2016
Given an abstract set \(\Omega \), how do we measure the size of one of its subsets A? When \(\Omega \) has finite or countably infinite elements, it is natural to count the number of elements in A. However, if A is an uncountable set, we need a rigorous and systematic method.
openaire +1 more source
Given an abstract set \(\Omega \), how do we measure the size of one of its subsets A? When \(\Omega \) has finite or countably infinite elements, it is natural to count the number of elements in A. However, if A is an uncountable set, we need a rigorous and systematic method.
openaire +1 more source
Riemann and Lebesgue Integrability
Journal of the London Mathematical Society, 1972openaire +2 more sources
2018
The Lebesgue integral extends the Riemann integral to wider classes of functions. The definition of Lebesgue integral is a little bit more complicated, but the properties are much more convenient in applications. That is why the modern mathematics mainly uses the Lebesgue integral.
openaire +1 more source
The Lebesgue integral extends the Riemann integral to wider classes of functions. The definition of Lebesgue integral is a little bit more complicated, but the properties are much more convenient in applications. That is why the modern mathematics mainly uses the Lebesgue integral.
openaire +1 more source
A Coq Formalization of Lebesgue Integration of Nonnegative Functions
Journal of Automated Reasoning, 2021Sylvie Boldó, Florian Faissole
exaly
Fractional Integration in Weighted Lebesgue Spaces
Journal of Contemporary Mathematical Analysis, 2021exaly
TRANSFORMING LEBESGUE-STIELTJES INTEGRALS INTO LEBESGUE INTEGRALS
Real Analysis Exchange, 1994openaire +1 more source
A Coq Formalization of Lebesgue Induction Principle and Tonelli’s Theorem
Lecture Notes in Computer Science, 2023Sylvie Boldó
exaly