The linearity of Riemann integral on functions from R into real Banach space

DOI10.2478/FORMA-2013-0020zbMATH Open1298.26031OpenAlexW2069630976MaRDI QIDQ467790FDOQ467790

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-0020

Recommendations

• Riemann integral of functions from \(\mathbb{R}\) into real Banach space
• Riemann integral of functions from \(\mathbb R\) into real normed space
• Riemann integral of functions from \(\mathbb R\) into \(n\)-dimensional real normed space
• Riemann integration in Banach spaces
• scientific article; zbMATH DE number 5226581

zbMATH Keywords

formalization of Riemann integral

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Riemann integral of functions from \(\mathbb R\) into real normed space
• More on continuous functions on normed linear spaces
• Riemann integral of functions from \(\mathbb R\) into \(n\)-dimensional real normed space
• Riemann integral of functions from \(\mathbb{R}\) into real Banach space

Cited In (5)

• Riemann integral of functions from \(\mathbb R\) into real normed space
• Riemann integral of functions from \(\mathbb R\) into \(n\)-dimensional real normed space
• The Norm of a Linear Functional
• Differential equations on functions from \(\mathbb R\) into real Banach space
• Riemann integral of functions from \(\mathbb{R}\) into real Banach space

This page was built for publication: The linearity of Riemann integral on 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 Q467790)