Gauge integral
From MaRDI portal
Publication:1688749
DOI10.1515/forma-2017-0021zbMath1381.26009MaRDI QIDQ1688749
Publication date: 11 January 2018
Published in: Formalized Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1515/forma-2017-0021
26A42: Integrals of Riemann, Stieltjes and Lebesgue type
03B35: Mechanization of proofs and logical operations
26A39: Denjoy and Perron integrals, other special integrals
Uses Software