<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

Publicado en línea: 31 dic 2023

Páginas: 309 - 324

Aceptado: 18 dic 2023

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

Palabras clave
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

Publicado en línea: 31 dic 2023

Páginas: 309 - 324

Aceptado: 18 dic 2023

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

Palabras clavedouble 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.

Palabras clave
double integral, repeated integral