Integral of continuous functions of two variables

DOI10.2478/forma-2023-0025zbMath1540.68284MaRDI QIDQ6557127

Yasunari Shidama, Noboru Endou

Publication date: 18 June 2024

Published in: Formalized Mathematics (Search for Journal in Brave)

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)

Related Items (1)

Integral of continuous three variable functions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Product pre-measure
• Weak convergence and weak\(^\ast\) convergence
• Implicit function theorem. I
• Relationship between the Riemann and Lebesgue integrals
• Improper integral. II
• Fubini's theorem
• Reconstruction of the one-dimensional Lebesgue measure
• Formalization of real analysis: a survey of proof assistants and libraries
• Mizar: State-of-the-art and Beyond
• On Duplication in Mathematical Repositories
• Improving Real Analysis in Coq: A User-Friendly Approach to Integrals and Derivatives
• Antiderivatives and integration
• Absolutely integrable functions

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