Product pre-measure

DOI10.1515/FORMA-2016-0006zbMath1343.28001OpenAlexW2515736565MaRDI QIDQ306631

Noboru Endou

Publication date: 1 September 2016

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

Full work available at URL: https://doi.org/10.1515/forma-2016-0006

zbMATH Keywords

pre-measureproduct measure

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Measures and integrals in product spaces (28A35)

Related Items (3)

Relationship between the Riemann and Lebesgue integrals ⋮ Fubini's theorem for non-negative or non-positive functions ⋮ Fubini's theorem on measure

Uses Software

• Mizar

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Construction of measure from semialgebra of sets
• The orthogonal projection and the Riesz representation theorem
• Semantics of MML Query - Ordering
• Cartesian Products of Family of Real Linear Spaces
• Mizar: State-of-the-art and Beyond

This page was built for publication: Product pre-measure