Coghetto, Roland Gauge integral. (English) Zbl 1381.26009 Formaliz. Math. 25, No. 3, 217-225 (2017). MSC: 26A39 26A42 03B35 PDFBibTeX XMLCite \textit{R. Coghetto}, Formaliz. Math. 25, No. 3, 217--225 (2017; Zbl 1381.26009) Full Text: DOI
Narita, Keiko; Nakasho, Kazuhisa; Shidama, Yasunari Riemann-Stieltjes integral. (English) Zbl 1357.26015 Formaliz. Math. 24, No. 3, 199-204 (2016). MSC: 26A42 26A45 03B35 PDFBibTeX XMLCite \textit{K. Narita} et al., Formaliz. Math. 24, No. 3, 199--204 (2016; Zbl 1357.26015) Full Text: DOI