Riemann-Stieltjes integral

DOI10.1515/FORMA-2016-0016zbMath1357.26015OpenAlexW2588347594MaRDI QIDQ516744

Yasunari Shidama, Keiko Narita, Kazuhisa Nakasho

Publication date: 15 March 2017

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

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

zbMATH Keywords

bounded variationlinearityRiemann-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 (3)

F. Riesz theorem ⋮ Gauge integral ⋮ The basic existence theorem of Riemann-Stieltjes integral

Uses Software

• Mizar

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Riemann Integral of Functions from R into Real Normed Space
• Mizar: State-of-the-art and Beyond

This page was built for publication: Riemann-Stieltjes integral