{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T20:14:19Z","timestamp":1649016859306},"reference-count":21,"publisher":"Walter de Gruyter GmbH","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,1,1]]},"abstract":"<jats:title>Riemann Integral of Functions R into C<\/jats:title>\n        <jats:p>In this article, we define the Riemann Integral on functions R into C and proof the linearity of this operator. Especially, the Riemann integral of complex functions is constituted by the redefinition about the Riemann sum of complex numbers. Our method refers to the [19].<\/jats:p>","DOI":"10.2478\/v10037-010-0024-8","type":"journal-article","created":{"date-parts":[[2011,1,6]],"date-time":"2011-01-06T02:22:47Z","timestamp":1294280567000},"page":"201-206","source":"Crossref","is-referenced-by-count":0,"title":["Riemann Integral of Functions R into C"],"prefix":"10.2478","volume":"18","author":[{"given":"Keiichi","family":"Miyajima","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Takahiro","family":"Kato","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yasunari","family":"Shidama","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"374","reference":[{"issue":"1","key":"1","first-page":"121","article-title":"Complex sequences","volume":"4","author":"Agnieszka Banachowicz","year":"1993","journal-title":"Formalized Mathematics"},{"issue":"1","key":"2","first-page":"41","article-title":"The fundamental properties of natural numbers","volume":"1","author":"Grzegorz Bancerek","year":"1990","journal-title":"Formalized Mathematics"},{"issue":"1","key":"3","first-page":"91","article-title":"The ordinal numbers","volume":"1","author":"Grzegorz Bancerek","year":"1990","journal-title":"Formalized Mathematics"},{"issue":"1","key":"4","first-page":"107","article-title":"Segments of natural numbers and finite sequences","volume":"1","author":"Grzegorz Bancerek","year":"1990","journal-title":"Formalized Mathematics"},{"issue":"3","key":"5","first-page":"507","article-title":"The complex numbers","volume":"1","author":"Czes\u0142aw Byli\u0144ski","year":"1990","journal-title":"Formalized Mathematics"},{"issue":"1","key":"6","first-page":"55","article-title":"Functions and their basic properties","volume":"1","author":"Czes\u0142aw Byli\u0144ski","year":"1990","journal-title":"Formalized Mathematics"},{"issue":"1","key":"7","first-page":"153","article-title":"Functions from a set to a set","volume":"1","author":"Czes\u0142aw Byli\u0144ski","year":"1990","journal-title":"Formalized Mathematics"},{"issue":"2","key":"8","first-page":"357","article-title":"Partial functions","volume":"1","author":"Czes\u0142aw Byli\u0144ski","year":"1990","journal-title":"Formalized Mathematics"},{"issue":"4","key":"9","first-page":"661","article-title":"The sum and product of finite sequences of real numbers","volume":"1","author":"Czes\u0142aw Byli\u0144ski","year":"1990","journal-title":"Formalized Mathematics"},{"issue":"1","key":"10","first-page":"93","article-title":"The definition of the Riemann definite integral and some related lemmas","volume":"8","author":"Noboru Endou","year":"1999","journal-title":"Formalized Mathematics"},{"issue":"1","key":"11","first-page":"197","article-title":"Darboux's theorem","volume":"9","author":"Noboru Endou","year":"2001","journal-title":"Formalized Mathematics"},{"issue":"2","key":"12","first-page":"281","article-title":"Definition of integrability for partial functions from R to R and integrability for continuous functions","volume":"9","author":"Noboru Endou","year":"2001","journal-title":"Formalized Mathematics"},{"issue":"1","key":"13","first-page":"191","article-title":"Scalar multiple of Riemann definite integral","volume":"9","author":"Noboru Endou","year":"2001","journal-title":"Formalized Mathematics"},{"issue":"2","key":"14","first-page":"273","article-title":"Convergent sequences and the limit of sequences","volume":"1","author":"Jaros\u0142aw Kotowicz","year":"1990","journal-title":"Formalized Mathematics"},{"issue":"2","key":"15","doi-asserted-by":"publisher","first-page":"179","DOI":"10.2478\/v10037-009-0021-y","article-title":"Riemann integral of functions from R into R<sup>n<\/sup>","volume":"17","author":"Keiichi Miyajima","year":"2009","journal-title":"Formalized Mathematics"},{"issue":"2","key":"16","first-page":"265","article-title":"Conjugate sequences, bounded complex sequences and convergent complex sequences","volume":"6","author":"Adam Naumowicz","year":"1997","journal-title":"Formalized Mathematics"},{"issue":"4","key":"17","first-page":"777","article-title":"Topological properties of subsets in real numbers","volume":"1","author":"Konrad Raczkowski","year":"1990","journal-title":"Formalized Mathematics"},{"issue":"3","key":"18","first-page":"403","article-title":"Convergence and the limit of complex sequences. Series","volume":"6","author":"Yasunari Shidama","year":"1997","journal-title":"Formalized Mathematics"},{"key":"19","volume-title":"Theory and Problems of Vector Analysis","author":"Murray Spiegel","year":"1974"},{"issue":"1","key":"20","first-page":"67","article-title":"Properties of subsets","volume":"1","author":"Zinaida Trybulec","year":"1990","journal-title":"Formalized Mathematics"},{"issue":"1","key":"21","first-page":"181","article-title":"Relations defined on sets","volume":"1","author":"Edmund Woronowicz","year":"1990","journal-title":"Formalized Mathematics"}],"container-title":["Formalized Mathematics"],"original-title":[],"link":[{"URL":"http:\/\/content.sciendo.com\/view\/journals\/forma\/18\/4\/article-p201.xml","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.degruyter.com\/view\/j\/forma.2010.18.issue-4\/v10037-010-0024-8\/v10037-010-0024-8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,30]],"date-time":"2020-05-30T15:28:07Z","timestamp":1590852487000},"score":1,"resource":{"primary":{"URL":"https:\/\/content.sciendo.com\/doi\/10.2478\/v10037-010-0024-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,1,1]]},"references-count":21,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.2478\/v10037-010-0024-8","relation":{},"ISSN":["1898-9934","1426-2630"],"issn-type":[{"value":"1898-9934","type":"electronic"},{"value":"1426-2630","type":"print"}],"subject":[],"published":{"date-parts":[[2010,1,1]]}}}