The linearity of Riemann integral on functions from \(\mathbb{R}\) into real Banach space
From MaRDI portal
Publication:467790
DOI10.2478/forma-2013-0020zbMath1298.26031OpenAlexW2069630976MaRDI QIDQ467790
Noboru Endou, Keiko Narita, Yasunari Shidama
Publication date: 5 November 2014
Published in: Formalized Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2478/forma-2013-0020
Integrals of Riemann, Stieltjes and Lebesgue type (26A42) Mechanization of proofs and logical operations (03B35)
Related Items
Cites Work