<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

Published Online: Dec 31, 2023

Page range: 309 - 324

Accepted: Dec 18, 2023

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

Keywords
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

Published Online: Dec 31, 2023

Page range: 309 - 324

Accepted: Dec 18, 2023

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

Keywordsdouble 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.

Keywords
double integral, repeated integral