Jean Mawhin (2025)
Czechoslovak Mathematical Journal
Similarity:
The paper describes to origin and motivation of Kurzweil in introducing a Riemann-type definition for generalized Perron integrals and his further contributions to the topics.
Roland Coghetto (2017)
Formalized Mathematics
Similarity:
Some authors have formalized the integral in the Mizar Mathematical Library (MML). The first article in a series on the Darboux/Riemann integral was written by Noboru Endou and Artur Korniłowicz: [6]. The Lebesgue integral was formalized a little later [13] and recently the integral of Riemann-Stieltjes was introduced in the MML by Keiko Narita, Kazuhisa Nakasho and Yasunari Shidama [12]. A presentation of definitions of integrals in other proof assistants or proof checkers (ACL2, COQ,...
Jiří Jarník, Jaroslav Kurzweil (1988)
Czechoslovak Mathematical Journal
Similarity:
Jacenty Kloch (1977)
Annales Polonici Mathematici
Similarity:
Márcia Federson (2002)
Mathematica Bohemica
Similarity:
Results on integration by parts and integration by substitution for the variational integral of Henstock are well-known. When real-valued functions are considered, such results also hold for the Generalized Riemann Integral defined by Kurzweil since, in this case, the integrals of Kurzweil and Henstock coincide. However, in a Banach-space valued context, the Kurzweil integral properly contains that of Henstock. In the present paper, we consider abstract vector integrals of Kurzweil and...