Absolutely integrable functions

DOI10.2478/FORMA-2022-0004MaRDI QIDQ6489400zbMATH OpenFDO

Authors Noboru Endou

Publication date 22 April 2024

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 4.0 International

Full work available at URL https://doi.org/10.2478/FORMA-2022-0004

zbMATH Keywords

absolutely integrableimproper integral

Mathematics Subject Classification ID

Integrals of Riemann, Stieltjes and Lebesgue type (26A42) Formalization of mathematics in connection with theorem provers (68V20)

Recommendations

• Relationship between the Riemann and Lebesgue integrals
• scientific article; zbMATH DE number 903879
• Improper integral. I
• The relation of Lebesgue integral and generalized integral
• Improper integral. II

Cites work

• Extended real-valued double sequence and its convergence
• scientific article; zbMATH DE number 3484308 (Why is no real title available?)
• scientific article; zbMATH DE number 1324223 (Why is no real title available?)
• Improper integral. I
• Improper integral. II
• Mizar: state-of-the-art and beyond
• Relationship between the Riemann and Lebesgue integrals
• The role of the Mizar mathematical library for interactive proof development in Mizar

Cited in

(2)

• Multidimensional measure space and integration
• Integral of continuous functions of two variables

This page was built for publication: Absolutely integrable functions

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