<abstract xmlns="http://www.w3.org/1999/xhtml">

<p>We extend the formalization of the integral theory of one-variable functions for Riemann and Lebesgue integrals, showing that the Lebesgue integral of a continuous function of two variables coincides with the Riemann iterated integral of a projective function.</p>
</abstract>

We extend the formalization of the integral theory of one-variable functions for Riemann and Lebesgue integrals, showing that the Lebesgue integral of a continuous function of two variables coincides with the Riemann iterated integral of a projective function.

Integral of Continuous Functions of Two Variables

Formalized Mathematics

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

{"article-title":"Integral of Continuous Functions of Two Variables"}

We extend the formalization of the integral theory of one-variable functions for Riemann and Lebesgue integrals, showing that the Lebesgue integral of a...

Integral of Continuous Functions of Two Variables

Online veröffentlicht: 31. Dez. 2023

Seitenbereich: 309 - 324

Akzeptiert: 18. Dez. 2023

DOI: https://doi.org/10.2478/forma-2023-0025

Schlüsselwörter
double integral, repeated integral

© 2023 Noboru Endou et al., published by Sciendo

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Integral of Continuous Functions of Two Variables

Online veröffentlicht: 31. Dez. 2023

Seitenbereich: 309 - 324

Akzeptiert: 18. Dez. 2023

DOI: https://doi.org/10.2478/forma-2023-0025

Schlüsselwörterdouble integral, repeated integral

© 2023 Noboru Endou et al., published by Sciendo

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Schlüsselwörter
double integral, repeated integral