The Linearity of Riemann Integral on Functions from R into Real Banach Space

Autor:	Narita, Keiko, Endou, Noboru, Shidama, Yasunari
Jazyk:	angličtina
Rok vydání:	2013
Zdroj:	Formalized Mathematics. 21(3):185-191
ISSN:	1898-9934
Popis:	Article Formalized Mathematics. 21(3): 185-191 (2013)
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=jairo_______::15de7d727a8524f0d696627337a5446c https://soar-ir.repo.nii.ac.jp/records/18386 Zobrazit plný text záznamu Plný text ve formátu PDF