Improper integral. II
From MaRDI portal
Publication:2171529
DOI10.2478/forma-2021-0024zbMath1494.68299OpenAlexW4285324967MaRDI QIDQ2171529
Publication date: 9 September 2022
Published in: Formalized Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2478/forma-2021-0024
Integrals of Riemann, Stieltjes and Lebesgue type (26A42) Formalization of mathematics in connection with theorem provers (68V20)
Related Items
Cites Work