Integral of continuous three variable functions

DOI10.2478/FORMA-2024-0002MaRDI QIDQ6626692zbMATH OpenFDO

Authors Noboru Endou, Yasunari Shidama

Publication date 29 October 2024

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 3.0 Unported

zbMATH Keywords

iterated integraltriple integral

Mathematics Subject Classification ID

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

Recommendations

• Integral of continuous functions of two variables
• Triangular integrals for 2-, 3- and 4-variable functions
• scientific article; zbMATH DE number 2107625
• A simplified multidimensional integral.
• scientific article; zbMATH DE number 746252

Cites work

• scientific article; zbMATH DE number 1670741 (Why is no real title available?)
• Cartesian products of family of real linear spaces
• Formalization of real analysis: a survey of proof assistants and libraries
• Improving Real Analysis in Coq: A User-Friendly Approach to Integrals and Derivatives
• Integral of continuous functions of two variables
• Mizar: state-of-the-art and beyond
• Product pre-measure
• Reconstruction of the one-dimensional Lebesgue measure
• Relationship between the Riemann and Lebesgue integrals
• The 3-fold product space of real normed spaces and its properties
• The role of the Mizar mathematical library for interactive proof development in Mizar
• Weak convergence and weak\(^\ast\) convergence

Cited in

(1)

• Integral of continuous functions of two variables

This page was built for publication: Integral of continuous three variable functions

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