The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Displaying similar documents to “The origin and developments of Kurzweil's generalized Riemann integral”

Gauge Integral

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,...

Differential equations in banach space and henstock-kurzweil integrals

Ireneusz Kubiaczyk, Aneta Sikorska (1999)

Discussiones Mathematicae, Differential Inclusions, Control and Optimization

Similarity:

In this paper, using the properties of the Henstock-Kurzweil integral and corresponding theorems, we prove the existence theorem for the equation x' = f(t,x) and inclusion x' ∈ F(t,x) in a Banach space, where f is Henstock-Kurzweil integrable and satisfies some conditions.

Substitution formulas for the Kurzweil and Henstock vector integrals

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...