Integral of continuous three variable functions

DOI10.2478/FORMA-2024-0002zbMATH Open1548.68297MaRDI QIDQ6626692

Yasunari Shidama, Noboru Endou

Publication date: 29 October 2024

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

zbMATH Keywords

iterated integraltriple integral

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Product pre-measure
• Weak convergence and weak\(^\ast\) convergence
• The role of the Mizar mathematical library for interactive proof development in Mizar
• Relationship between the Riemann and Lebesgue integrals
• The 3-fold product space of real normed spaces and its properties
• Reconstruction of the one-dimensional Lebesgue measure
• Cartesian products of family of real linear spaces
• Formalization of real analysis: a survey of proof assistants and libraries
• Mizar: State-of-the-art and Beyond
• Improving Real Analysis in Coq: A User-Friendly Approach to Integrals and Derivatives
• 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)