The First Mean Value Theorem for Integrals

被引：0
作者：
Narita, Keiko
Endou, Noboru [1 ]
Shidama, Yasunari [2 ]
机构：
[1] Gifu Natl Coll Technol, Motosu, Japan
[2] Shinshu Univ, Nagano, Japan
来源：
FORMALIZED MATHEMATICS | 2008年 / 16卷 / 01期
关键词：
D O I：
10.2478/v10037-008-0008-0
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
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.
引用
收藏
页码：51 / 55
页数：5
相关论文
共 22 条
  • [1] Bancerek G., 1990, FORMALIZED MATH, V1, P91
  • [2] Bancerek G., 1990, FORMALIZED MATH, V1, P107
  • [3] Bancerek G., 1990, FORMALIZED MATH, V1, P41
  • [4] Bialas Jozef, 1991, FORMALIZED MATH, V2, P163
  • [5] Bialas Jozef, 1996, FORMALIZED MATH, V5, P21
  • [6] Bialas Jozef, 1991, FORMALIZED MATH, V2, P263
  • [7] Bialas Jozef, 1991, FORMALIZED MATH, V2, P173
  • [8] Bylinski Czeslaw, 1990, FORMALIZED MATH, V1, P175
  • [9] Bylinski Czeslaw, 1990, FORMALIZED MATH, V1, P529
  • [10] Bylinski Czeslaw, 1990, FORMALIZED MATH, V1, P153
123