Abstract | ||
---|---|---|
In this article, we prove the first mean value theorem for integrals [16]. The formalization of various theorems about the properties of the Lebesgue integral is also presented. |
Year | DOI | Venue |
---|---|---|
2008 | 10.2478/v10037-008-0008-0 | FORMALIZED MATHEMATICS |
Keywords | Field | DocType |
mean value theorem | Discrete mathematics,Symmetric derivative,Identric mean,Stolarsky mean,Mean value theorem,Mathematics,Mean value theorem (divided differences),Fixed-point theorem,Partial function,Carlson's theorem | Journal |
Volume | Issue | ISSN |
16 | 1 | 1898-9934 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Keiko Narita | 1 | 49 | 16.59 |
Noboru Endou | 2 | 72 | 28.00 |
Yasunari Shidama | 3 | 166 | 72.47 |