Formalized Mathematics - Tom 25, Numer 3 (2017) - DML-PL - Yadda

Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl

Numer - szczegóły

Wydawca

De Gruyter Open

Czasopismo

Formalized Mathematics

Rocznik

2017

Tom

25

Numer

3

Identyfikatory

Okładka

Zawartość wolumenu

3
- artykuł: Isomorphism Theorem on Vector Spaces over a Ring (Futa Y., Shidama Y.), s. 171-178
- artykuł: F. Riesz Theorem (Narita K., Nakasho K., Shidama Y.), s. 179-184
- artykuł: On Roots of Polynomials and Algebraically Closed Fields (Schwarzweller C.), s. 185-195
- artykuł: Pell’s Equation (Acewicz M., Pąk K.), s. 197-204
- artykuł: Simple-Named Complex-Valued Nominative Data – Definition and Basic Operations (Ivanov I., Nikitchenko M., Kryvolap A., Korniłowicz A.), s. 205-216
- artykuł: Gauge Integral (Coghetto R.), s. 217-225
- artykuł: Integral of Non Positive Functions (Endou N.), s. 227-240
- artykuł: Formal Introduction to Fuzzy Implications (Grabowski A.), s. 241-248

rozwiń roczniki

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