Riemann integral of functions from R into n-dimensional real normed space

From MaRDI portal
Publication:2865765

DOI10.2478/V10037-012-0011-3zbMATH Open1276.26026OpenAlexW2005728959MaRDI QIDQ2865765FDOQ2865765


Authors: Keiichi Miyajima, Artur Korniłowicz, Yasunari Shidama Edit this on Wikidata


Publication date: 3 December 2013

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/v10037-012-0011-3




Recommendations



Cites Work


Cited In (7)





This page was built for publication: Riemann integral of functions from \(\mathbb R\) into \(n\)-dimensional real normed space

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2865765)