Generalized multiple Perron integrals and the Green-Goursat theorem for differentiable vector fields
Jean Mawhin (1981)
Czechoslovak Mathematical Journal
Similarity:
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.
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.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Nonstandard analysis and generalized Riemann integrals”
Generalized multiple Perron integrals and the Green-Goursat theorem for differentiable vector fields
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,...
A Daniell integral approach to nonstandard Kurzweil-Henstock integral
Ricardo Bianconi, João C. Prandini, Cláudio Possani (1999)
Czechoslovak Mathematical Journal
Similarity:
A workable nonstandard definition of the Kurzweil-Henstock integral is given via a Daniell integral approach. This allows us to study the HL class of functions from . The theory is recovered together with a few new results.
A descriptive definition of some multidimensional gauge integrals
Claude-Alain Faure (1995)
Czechoslovak Mathematical Journal
Similarity:
The origin and developments of Kurzweil's generalized Riemann integral
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.