Formalized Mathematics - Tom 21, Numer 2 (2013) - 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

2013

Tom

21

Numer

2

Identyfikatory

Okładka

Zawartość wolumenu

2
- artykuł: N-Dimensional Binary Vector Spaces (Arai K., Okazaki H.), s. 75-81
- artykuł: Some Properties of the Sorgenfrey Line and the Sorgenfrey Plane (Arnaud A. S., Rudnicki P.), s. 83-85
- artykuł: More on Divisibility Criteria for Selected Primes (Naumowicz A., Piliszek R.), s. 87-94
- artykuł: Differentiation in Normed Spaces (Endou N., Shidama Y.), s. 95-102
- artykuł: Polygonal Numbers (Grabowski A.), s. 103-113
- artykuł: Gaussian Integers (Futa Y., Okazaki H., Mizushima D., Shidama Y.), s. 115-125
- artykuł: Commutativeness of Fundamental Groups of Topological Groups (Korniłowicz A.), s. 127-131
- artykuł: Constructing Binary Huffman Tree (Okazaki H., Futa Y., Shidama Y.), s. 133-143
- artykuł: Riemann Integral of Functions from ℝ into Real Banach Space (Narita K., Endou N., Shidama Y.), s. 145-152
- artykuł: On Square-Free Numbers (Grabowski A.), s. 153-162

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