Riemann integral of functions from \(\mathbb{R}\) into real Banach space

DOI10.2478/forma-2013-0016zbMath1298.26030OpenAlexW2011012246MaRDI QIDQ467786

Noboru Endou, Yasunari Shidama, Keiko Narita

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

zbMATH Keywords

formalization of Riemann integral

Mathematics Subject Classification ID

Integrals of Riemann, Stieltjes and Lebesgue type (26A42) Mechanization of proofs and logical operations (03B35)

Related Items (4)

The linearity of Riemann integral on functions from \(\mathbb{R}\) into real Banach space ⋮ The basic existence theorem of Riemann-Stieltjes integral ⋮ Continuity of bounded linear operators on normed linear spaces ⋮ On L1 Space Formed by Complex-Valued Partial Functions

Cites Work

• Unnamed Item
• Analysis of Algorithms: An Example of a Sort Algorithm
• Riemann Integral of Functions from R into Real Normed Space
• More on Continuous Functions on Normed Linear Spaces

This page was built for publication: Riemann integral of functions from \(\mathbb{R}\) into real Banach space