Absolutely integrable functions

DOI10.2478/FORMA-2022-0004MaRDI QIDQ6489400

Noboru Endou

Publication date: 22 April 2024

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

zbMATH Keywords

improper integralabsolutely integrable

Mathematics Subject Classification ID

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

Cites Work

• Extended real-valued double sequence and its convergence
• The role of the Mizar mathematical library for interactive proof development in Mizar
• Relationship between the Riemann and Lebesgue integrals
• Improper integral. I
• Improper integral. II
• Mizar: State-of-the-art and Beyond
• Unnamed Item
• Unnamed Item

This page was built for publication: Absolutely integrable functions