<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

Data publikacji: 31 gru 2023

Zakres stron: 309 - 324

Przyjęty: 18 gru 2023

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

Słowa kluczowe
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

Data publikacji: 31 gru 2023

Zakres stron: 309 - 324

Przyjęty: 18 gru 2023

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

Słowa kluczowedouble 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.

Słowa kluczowe
double integral, repeated integral