The basic existence theorem of Riemann-Stieltjes integral

DOI10.1515/FORMA-2016-0021zbMATH Open1357.26014OpenAlexW2592770093MaRDI QIDQ520383FDOQ520383

Authors: Kazuhisa Nakasho, Keiko Narita, Yasunari Shidama 

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

Recommendations

• Riemann-Stieltjes integral
• On the existence of the Stieltjes integral
• scientific article; zbMATH DE number 611125
• A note on the integral of Riemann-Stieltjes
• On the integral of Riemann-Stieltjes

zbMATH Keywords

bounded variationcontinuous functionRiemann-Stieltjes integral

Mathematics Subject Classification ID

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

Cites Work

• Semantics of MML query -- ordering
• Title not available (Why is that?)
• Riemann integral of functions from \(\mathbb{R}\) into real Banach space
• Title not available (Why is that?)
• Title not available (Why is that?)
• Riemann-Stieltjes integral

Cited In (4)

• A note on the integral of Riemann-Stieltjes
• The fundamental theorem of calculus for the Riemann-Stieltjes integral
• F. Riesz theorem
• On the integral of Riemann-Stieltjes

This page was built for publication: The basic existence theorem of Riemann-Stieltjes integral

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