Universality of measure space

DOI10.2478/FORMA-2024-0012MaRDI QIDQ6966302zbMATH OpenFDO

Authors Noboru Endou, Yasunari Shidama

Publication date 30 June 2025

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 3.0 Unported

Full work available at URL https://doi.org/10.2478/FORMA-2024-0012

zbMATH Keywords

Lebesgue integrationproduct measure

Mathematics Subject Classification ID

Spaces of measures, convergence of measures (28A33) Measures and integrals in product spaces (28A35) Formalization of mathematics in connection with theorem provers (68V20)

Cites work

• Basic Category Theory
• Fubini's theorem on measure
• scientific article; zbMATH DE number 2034238 (Why is no real title available?)
• Improving Real Analysis in Coq: A User-Friendly Approach to Integrals and Derivatives
• Infinite dimensional analysis. A hitchhiker's guide.
• Integral of continuous functions of two variables
• Mizar: state-of-the-art and beyond
• Multidimensional measure space and integration
• The role of the Mizar mathematical library for interactive proof development in Mizar
• Three chapters of measure theory in Isabelle/HOL

This page was built for publication: Universality of measure space

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