Riemann-Stieltjes integral

DOI10.1515/FORMA-2016-0016MaRDI QIDQ516744zbMATH OpenOpenAlexFDO

Authors Keiko Narita, Kazuhisa Nakasho, Yasunari Shidama

Publication date 15 March 2017

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 3.0 Unported

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

zbMATH Keywords

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

Recommendations

• On the integral of Riemann-Stieltjes
• scientific article; zbMATH DE number 4078008
• scientific article; zbMATH DE number 4060094
• scientific article; zbMATH DE number 3877450
• The generalized Riemann-Stieltjes integral
• The Riemann integral
• scientific article; zbMATH DE number 3026868
• The Stieltjes Integral
• Pseudo-Riemann-Stieltjes integral
• scientific article; zbMATH DE number 4004515

Cites work

• scientific article; zbMATH DE number 3156470 (Why is no real title available?)
• scientific article; zbMATH DE number 1235892 (Why is no real title available?)
• scientific article; zbMATH DE number 3354002 (Why is no real title available?)
• Mizar: state-of-the-art and beyond
• Riemann integral of functions from \(\mathbb R\) into real normed space

Cited in

(12)

• The Stieltjes Integral
• On the line contour Riemann-Stiltjes integral
• scientific article; zbMATH DE number 1206025 (Why is no real title available?)
• scientific article; zbMATH DE number 3882662 (Why is no real title available?)
• scientific article; zbMATH DE number 5670068 (Why is no real title available?)
• Pseudo-Riemann-Stieltjes integral
• scientific article; zbMATH DE number 5296549 (Why is no real title available?)
• scientific article; zbMATH DE number 5226581 (Why is no real title available?)
• Improper integral. II
• F. Riesz theorem
• Gauge integral
• The basic existence theorem of Riemann-Stieltjes integral

Describes a project that uses

Uses Software

• Mizar

This page was built for publication: Riemann-Stieltjes integral

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