Riemann-Stieltjes integral

DOI10.1515/FORMA-2016-0016zbMATH Open1357.26015OpenAlexW2588347594MaRDI QIDQ516744FDOQ516744

Authors: Keiko Narita, Kazuhisa Nakasho, Yasunari Shidama 

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

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

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)

Cites Work

• Mizar: state-of-the-art and beyond
• Title not available (Why is that?)
• Riemann integral of functions from \(\mathbb R\) into real normed space
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (12)

• The Stieltjes Integral
• On the line contour Riemann-Stiltjes integral
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Pseudo-Riemann-Stieltjes integral
• Title not available (Why is that?)
• Title not available (Why is that?)
• Improper integral. II
• F. Riesz theorem
• Gauge integral
• The basic existence theorem of Riemann-Stieltjes integral

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)