Riemann integral of functions from R into real Banach space
From MaRDI portal
Publication:467786
DOI10.2478/FORMA-2013-0016zbMATH Open1298.26030OpenAlexW2011012246MaRDI QIDQ467786FDOQ467786
Authors: Keiko Narita, Noboru Endou, 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-0016
Recommendations
- Riemann integral of functions from \(\mathbb R\) into real normed space
- The linearity of Riemann integral on functions from \(\mathbb{R}\) into real Banach space
- Riemann integral of functions from \(\mathbb R\) into \(n\)-dimensional real normed space
- Riemann integration in Banach spaces
- scientific article; zbMATH DE number 465470
- Riemann and Riemann-type integration in Banach spaces
- Integration by means of Riemann sums in Banach spaces. I
- A generalized Riemann integral for Banach-valued functions
- Integration by means of Riemann sums in Banach spaces. II
- Asymptotic structure of Banach spaces and Riemann integration
Mechanization of proofs and logical operations (03B35) Integrals of Riemann, Stieltjes and Lebesgue type (26A42)
Cites Work
Cited In (8)
- Riemann integral of functions from \(\mathbb R\) into real normed space
- Riemann integration in Banach spaces
- Continuity of bounded linear operators on normed linear spaces
- The linearity of Riemann integral on functions from \(\mathbb{R}\) into real Banach space
- Integration by means of Riemann sums in Banach spaces. I
- Riemannian integrability of abstract functions
- On \(L^1\) space formed by complex-valued partial functions
- The basic existence theorem of Riemann-Stieltjes integral
This page was built for publication: Riemann integral of functions from \(\mathbb{R}\) into real Banach space
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q467786)
