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

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

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 (1)

Differential equations on functions from \(\mathbb R\) into real Banach space

Cites Work

• Riemann integral of functions from \(\mathbb{R}\) into real Banach space
• Riemann Integral of Functions from R into Real Normed Space
• More on Continuous Functions on Normed Linear Spaces
• Riemann Integral of Functions from R into n-dimensional Real Normed Space
• Unnamed Item

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