Riemann Integral of Functions from R into n-dimensional Real Normed Space

DOI10.2478/v10037-012-0011-3zbMath1276.26026OpenAlexW2005728959MaRDI QIDQ2865765

Keiichi Miyajima, Yasunari Shidama, Artur Korniłowicz

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

Mathematics Subject Classification ID

Integrals of Riemann, Stieltjes and Lebesgue type (26A42)

Related Items

The linearity of Riemann integral on functions from \(\mathbb{R}\) into real Banach space, Contracting Mapping on Normed Linear Space

Cites Work

• Semantics of MML Query - Ordering
• Riemann Integral of Functions from R into Real Normed Space
• More on the Continuity of Real Functions