Multidimensional measure space and integration

DOI10.2478/FORMA-2023-0017MaRDI QIDQ6557119zbMATH 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-ShareAlike 3.0 Unported

zbMATH Keywords

iterated integralmeasure in product spaces

Mathematics Subject Classification ID

Formalization of mathematics in connection with theorem provers (68V20) Measures and integrals in product spaces (28A35)

Recommendations

• Measure theory and Lebesgue-like integration in two and three dimensions over the Levi-Civita field
• Multilinear integration of bounded scalar valued functions
• Vector integration
• On integration in Banach spaces, XI. Integration with respect to polymeasures

Cites work

• scientific article; zbMATH DE number 1670741 (Why is no real title available?)
• scientific article; zbMATH DE number 2034238 (Why is no real title available?)
• Absolutely integrable functions
• Cartesian products of family of real linear spaces
• Formalization of real analysis: a survey of proof assistants and libraries
• Fubini's theorem
• Fubini's theorem on measure
• Improper integral. II
• Improving Real Analysis in Coq: A User-Friendly Approach to Integrals and Derivatives
• Mathematical Knowledge Management
• Mizar: state-of-the-art and beyond
• Three chapters of measure theory in Isabelle/HOL

This page was built for publication: Multidimensional measure space and integration

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