Formalized Mathematics's Cover Image
Otwarty dostęp

Formalized Mathematics

Tom 26 (2018): Zeszyt 3 (Październik 2018)

Pobierz okładkę
Poprzedni zeszyt
Następny zeszyt
4 Artykułów
Otwarty dostęp | 23 lut 2019
Arithmetic Operations on Short Finite Sequences
Rafał Ziobro

Rafał Ziobro

Department of Carbohydrate Technology, University of AgricultureKrakow, Poland
Wyszukaj tego autora
Sciendo|Google Scholar
Ziobro, Rafał
  
Otwarty dostęp | 23 lut 2019
Some Remarks about Product Spaces
Sebastian Koch

Sebastian Koch

Johannes Gutenberg University MainzGermany
Wyszukaj tego autora
Sciendo|Google Scholar
Koch, Sebastian
  
Otwarty dostęp | 23 lut 2019
Binary Representation of Natural Numbers
Hiroyuki Okazaki

Hiroyuki Okazaki

Shinshu UniversityNagano, Japan
Wyszukaj tego autora
Sciendo|Google Scholar
Okazaki, Hiroyuki
  
Otwarty dostęp | 23 lut 2019
Continuity of Bounded Linear Operators on Normed Linear Spaces
Kazuhisa Nakasho

Kazuhisa Nakasho

Yamaguchi University YamaguchiJapan
Wyszukaj tego autora
Sciendo|Google Scholar
Nakasho, Kazuhisa
, 
Yuichi Futa

Yuichi Futa

Tokyo University of TechnologyTokyo, Japan
Wyszukaj tego autora
Sciendo|Google Scholar
Futa, Yuichi
 oraz 
Yasunari Shidama

Yasunari Shidama

Shinshu UniversityNagano, Japan
Wyszukaj tego autora
Sciendo|Google Scholar
Shidama, Yasunari
  

Wyszukiwanie

Wszystkie tomy i zeszyty w tym czasopiśmie

Język:
Angielski
Częstotliwość wydawania:
1 razy w roku
Dziedziny czasopisma:
Matematyka, Matematyka ogólna, Informatyka, Informatyka, inne
Kanał RSS czasopisma