Riemann-Stieltjes integral
type: Item
instance of: scholarly article
title: Riemann-Stieltjes integral
zbMATH Open document ID: 1357.26015
author: Keiko Narita
author: Kazuhisa Nakasho
author: Yasunari Shidama
published in: Formalized Mathematics
publication date: 2017-03-15T00:00:00Z
Mathematics Subject Classification ID: 26A42
Mathematics Subject Classification ID: 26A45
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 6694971
zbMATH Keywords: Riemann-Stieltjes integral
zbMATH Keywords: bounded variation
zbMATH Keywords: linearity
describes a project that uses: Mizar
MaRDI profile type: Publication
full work available at URL: forma-2016-0016
OpenAlex ID: W2588347594
cites work: Mizar: State-of-the-art and Beyond
cites work: Q5628697
cites work: Q3274241
cites work: Riemann integral of functions from \(\mathbb R\) into real normed space
cites work: Q4223580
DOI: 10.1515/FORMA-2016-0016
Recommended article: On the integral of Riemann-Stieltjes
Recommended article: Q3808679
Recommended article: Q3794718
Recommended article: Q3344392
Recommended article: The generalized Riemann-Stieltjes integral
Recommended article: Q5445128
Recommended article: Q5766941
Recommended article: The Stieltjes Integral
Recommended article: Pseudo-Riemann-Stieltjes integral
Recommended article: Q3755685
description: scientific article; zbMATH DE number 6694971