Multidimensional measure space and integration

DOI10.2478/FORMA-2023-0017zbMATH Open1540.68283MaRDI QIDQ6557119FDOQ6557119

Authors: Noboru Endou, Yasunari Shidama 

Publication date: 18 June 2024

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

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

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)

Cites Work

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

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)