Formalized Mathematics - Tom 24, Numer 3 (2016) - 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

2016

Tom

24

Numer

3

Identyfikatory

Okładka

Zawartość wolumenu

3
- artykuł: Compactness in Metric Spaces (Nakasho K., Narita K., Shidama Y.), s. 167-172
- artykuł: Double Sequences and Iterated Limits in Regular Space (Coghetto R.), s. 173-186
- artykuł: Prime Factorization of Sums and Differences of Two Like Powers (Ziobro R.), s. 187-198
- artykuł: Riemann-Stieltjes Integral (Narita K., Nakasho K., Shidama Y.), s. 199-204
- artykuł: Quasi-uniform Space (Coghetto R.), s. 205-214
- artykuł: Uniform Space (Coghetto R.), s. 215-226
- artykuł: Some Algebraic Properties of Polynomial Rings (Schwarzweller C., Korniłowicz A.), s. 227-237

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