PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2017 | 25 | 3 | 227-240
Tytuł artykułu

Integral of Non Positive Functions

Autorzy
Treść / Zawartość
Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
In this article, we formalize in the Mizar system [1, 7] the Lebesgue type integral and convergence theorems for non positive functions [8],[2]. Many theorems are based on our previous results [5], [6].
Słowa kluczowe
Wydawca
Rocznik
Tom
25
Numer
3
Strony
227-240
Opis fizyczny
Daty
wydano
2017-10-01
otrzymano
2017-09-03
online
2017-12-19
Twórcy
autor
  • , , Kamimakuwa, Motosu, ,
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.doi-10_1515_forma-2017-0022
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.