Displaying similar documents to “Nonstandard analysis and generalized Riemann integrals”

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.