Gauge integral
type: Item
instance of: scholarly article
title: Gauge integral
zbMATH Open document ID: 1381.26009
author: Roland Coghetto
published in: Formalized Mathematics
publication date: 2018-01-11T00:00:00Z
Mathematics Subject Classification ID: 26A39
Mathematics Subject Classification ID: 26A42
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 6824777
zbMATH Keywords: gauge integral
zbMATH Keywords: Henstock-Kurzweil integral
zbMATH Keywords: generalized Riemann integral
describes a project that uses: ACL2
describes a project that uses: Coq
describes a project that uses: Isabelle/HOL
describes a project that uses: HOL Light
describes a project that uses: Mizar
MaRDI profile type: Publication
full work available at URL: forma-2017-0021
OpenAlex ID: W4243541202
cites work: Mizar: State-of-the-art and Beyond
cites work: Return to the Riemann Integral
cites work: Q4523439
cites work: Formalization of real analysis: a survey of proof assistants and libraries
cites work: Cousin's Lemma
cites work: Revisions as an Essential Tool to Maintain Mathematical Repositories
cites work: Q3152414
cites work: Riemann-Stieltjes integral
cites work: Q3505047
cites work: Q4258069
DOI: 10.1515/FORMA-2017-0021
description: scientific article; zbMATH DE number 6824777