Gauge integral

DOI10.1515/forma-2017-0021zbMath1381.26009OpenAlexW4243541202MaRDI QIDQ1688749

Roland Coghetto

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

zbMATH Keywords

Henstock-Kurzweil integralgeneralized Riemann integralgauge integral

Mathematics Subject Classification ID

Integrals of Riemann, Stieltjes and Lebesgue type (26A42) Mechanization of proofs and logical operations (03B35) Denjoy and Perron integrals, other special integrals (26A39)

Uses Software

• ACL2
• Coq
• Isabelle/HOL
• Mizar
• HOL Light

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Cousin's Lemma
• Riemann-Stieltjes integral
• Formalization of real analysis: a survey of proof assistants and libraries
• Mizar: State-of-the-art and Beyond
• Return to the Riemann Integral
• Revisions as an Essential Tool to Maintain Mathematical Repositories

This page was built for publication: Gauge integral