The linearity of Riemann integral on functions from \(\mathbb{R}\) into real Banach space
type: Item
instance of: scholarly article
title: The linearity of Riemann integral on functions from \(\mathbb{R}\) into real Banach space
zbMATH Open document ID: 1298.26031
author: Keiko Narita
author: Noboru Endou
author: Yasunari Shidama
published in: Formalized Mathematics
publication date: 2014-11-05T00:00:00Z
Mathematics Subject Classification ID: 26A42
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 6365902
zbMATH Keywords: formalization of Riemann integral
MaRDI profile type: Publication
full work available at URL: forma-2013-0020
OpenAlex ID: W2069630976
cites work: Riemann integral of functions from \(\mathbb R\) into real normed space
cites work: Riemann integral of functions from \(\mathbb R\) into \(n\)-dimensional real normed space
cites work: Riemann integral of functions from \(\mathbb{R}\) into real Banach space
cites work: More on continuous functions on normed linear spaces
cites work: Q5203581
DOI: 10.2478/FORMA-2013-0020
description: scientific article; zbMATH DE number 6365902