Integral of continuous functions of two variables

DOI10.2478/FORMA-2023-0025MaRDI QIDQ6557127zbMATH OpenFDO

Authors Noboru Endou, Yasunari Shidama

Publication date 18 June 2024

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported

Full work available at URL https://doi.org/10.2478/FORMA-2023-0025

zbMATH Keywords

double integralrepeated integral

Mathematics Subject Classification ID

Integration of real functions of several variables: length, area, volume (26B15) Formalization of mathematics in connection with theorem provers (68V20)

Recommendations

• Integral of continuous three variable functions
• scientific article; zbMATH DE number 681071
• scientific article; zbMATH DE number 4134370
• On connection between the double and the iterated integrals
• The Lebesgue integral as a Riemann integral

Cites work

• Absolutely integrable functions
• Antiderivatives and integration
• Formalization of real analysis: a survey of proof assistants and libraries
• Fubini's theorem
• scientific article; zbMATH DE number 1670741 (Why is no real title available?)
• scientific article; zbMATH DE number 5850143 (Why is no real title available?)
• scientific article; zbMATH DE number 3427658 (Why is no real title available?)
• Implicit function theorem. I
• Improper integral. II
• Improving Real Analysis in Coq: A User-Friendly Approach to Integrals and Derivatives
• Mizar: state-of-the-art and beyond
• On duplication in mathematical repositories
• Product pre-measure
• Reconstruction of the one-dimensional Lebesgue measure
• Relationship between the Riemann and Lebesgue integrals
• Weak convergence and weak\(^\ast\) convergence

Cited in

(3)

• Integral of continuous three variable functions
• Classical isoperimetric theorem
• Universality of measure space

This page was built for publication: Integral of continuous functions of two variables

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6557127)