Art
J-GLOBAL ID：201902215189037878   Reference number：19S1482577

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

  • Publisher site Copy service
  • Access JDreamⅢ for advanced search and analysis.
Author (3)：
Miyajima, Keiichi

About Miyajima, Keiichi

(Faculty of Engineering, Ibaraki University)

About Faculty of Engineering, Ibaraki University

, 
Korniłowicz, Artur

About Korniłowicz, Artur

(Institute of Informatics, University of Białystok)

About Institute of Informatics, University of Białystok

, 
Shidama, Yasunari

About Shidama, Yasunari

(Shinshu University)

About Shinshu University


Material：
Formalized Mathematics

About Formalized Mathematics


Volume： 20  Issue： 1  Page： 79-86  Publication year： 2012 
JST Material Number： SCOPUS  ISSN： 1426-2630 
Country of issue： Poland (POL)  Language： English (EN)
Terms in the title (1)：
Terms in the title
Keywords automatically extracted from the title.
SPACE

About SPACE


Return to Previous Page

TOP

BOTTOM