Formalized Mathematics - Tom 25, Numer 1 (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

1

Identyfikatory

Okładka

Zawartość wolumenu

1
- artykuł: Fubini’s Theorem on Measure (Endou N.), s. 1-29
- artykuł: Differentiability of Polynomials over Reals (Korniłowicz A.), s. 31-37
- artykuł: Introduction to Liouville Numbers (Grabowski A., Korniłowicz A.), s. 39-48
- artykuł: All Liouville Numbers are Transcendental (Korniłowicz A., Naumowicz A., Grabowski A.), s. 49-54
- artykuł: Group of Homography in Real Projective Plane (Coghetto R.), s. 55-62
- artykuł: Ordered Rings and Fields (Schwarzweller C.), s. 63-72
- artykuł: Embedded Lattice and Properties of Gram Matrix (Futa Y., Shidama Y.), s. 73-86

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