Gauge integral

DOI10.1515/FORMA-2017-0021MaRDI QIDQ1688749zbMATH OpenOpenAlexFDO

Authors Roland Coghetto

Publication date 11 January 2018

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported

Full work available at URL https://doi.org/10.1515/forma-2017-0021

zbMATH Keywords

Henstock-Kurzweil integralgauge integralgeneralized Riemann integral

Mathematics Subject Classification ID

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

Recommendations

• The gauge integral theory in HOL4
• scientific article; zbMATH DE number 1477074
• An abstract gauge integral
• Riemann-Stieltjes integral
• scientific article; zbMATH DE number 3877456

Cites work

• scientific article; zbMATH DE number 1819614 (Why is no real title available?)
• scientific article; zbMATH DE number 5289940 (Why is no real title available?)
• scientific article; zbMATH DE number 1329847 (Why is no real title available?)
• scientific article; zbMATH DE number 1549895 (Why is no real title available?)
• Cousin's Lemma
• 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
• Riemann-Stieltjes integral

Cited in

(6)

• Antiderivatives and integration
• Logic of Gauge
• Full and partial gauge fixing
• Integral analogue of Gauss principle
• A Full Descriptive Definition of the Gage Integral
• The gauge integral theory in HOL4

Describes a project that uses

Uses Software

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

This page was built for publication: Gauge integral

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