Abstract | ||
---|---|---|
In this article, the basic existence theorem of Riemann-Stieltjes integral is formalized. This theorem states that if f is a continuous function and rho is a function of bounded variation in a closed interval of real line, f is Riemann-Stieltjes integrable with respect to rho. In the first section, basic properties of real finite sequences are formalized as preliminaries. In the second section, we formalized the existence theorem of the Riemann-Stieltjes integral. These formalizations are based on [15], [12], [10], and [11]. |
Year | DOI | Venue |
---|---|---|
2016 | 10.1515/forma-2016-0021 | FORMALIZED MATHEMATICS |
Keywords | Field | DocType |
Riemann-Stieltjes integral,bounded variation,continuous function | Riemann integral,Partition of an interval,Mathematical analysis,Riemann Xi function,Fundamental theorem of calculus,Kelvin–Stokes theorem,Daniell integral,Lebesgue integration,Mathematics,Riemann–Stieltjes integral | Journal |
Volume | Issue | ISSN |
24 | 4 | 1898-9934 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Kazuhisa Nakasho | 1 | 7 | 8.59 |
Keiko Narita | 2 | 49 | 16.59 |
Yasunari Shidama | 3 | 166 | 72.47 |