The basic existence theorem of Riemann-Stieltjes integral

DOI10.1515/forma-2016-0021zbMath1357.26014OpenAlexW2592770093MaRDI QIDQ520383

Kazuhisa Nakasho, Yasunari Shidama, Keiko Narita

Publication date: 3 April 2017

Published in: Formalized Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

bounded variationcontinuous functionRiemann-Stieltjes integral

Mathematics Subject Classification ID

Integrals of Riemann, Stieltjes and Lebesgue type (26A42) Mechanization of proofs and logical operations (03B35) Functions of bounded variation, generalizations (26A45)

Related Items

F. Riesz theorem

Cites Work

• Riemann integral of functions from \(\mathbb{R}\) into real Banach space
• Riemann-Stieltjes integral
• Semantics of MML Query - Ordering
• Unnamed Item
• Unnamed Item
• Unnamed Item