Integral of non positive functions

DOI10.1515/forma-2017-0022zbMath1381.26010OpenAlexW2777038482MaRDI QIDQ1688750

Noboru Endou

Publication date: 11 January 2018

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/forma-2017-0022

zbMATH Keywords

integration of non-positive function

Mathematics Subject Classification ID

Integration with respect to measures and other set functions (28A25) Mechanization of proofs and logical operations (03B35) Denjoy and Perron integrals, other special integrals (26A39)

Related Items (1)

Fubini's theorem

Uses Software

• Mizar

Cites Work

• Unnamed Item
• Four decades of {\textsc{Mizar}}. Foreword
• The orthogonal projection and the Riesz representation theorem
• Extended real-valued double sequence and its convergence
• Fubini's theorem on measure
• Mizar: State-of-the-art and Beyond

This page was built for publication: Integral of non positive functions