Formalized Mathematics's Cover Image
Otwarty dostęp

Formalized Mathematics

Tom 29 (2021): Zeszyt 1 (Kwiecień 2021)

Pobierz okładkę
Poprzedni zeszyt
Następny zeszyt
6 Artykułów
Otwarty dostęp | 26 sie 2021
Derivation of Commutative Rings and the Leibniz Formula for Power of Derivation
Yasushige Watase

Yasushige Watase

Suginami-ku MatsunokiTokyo, Japan
Wyszukaj tego autora
Sciendo|Google Scholar
Watase, Yasushige
  
Otwarty dostęp | 26 sie 2021
Inverse Function Theorem. Part I1
Kazuhisa Nakasho

Kazuhisa Nakasho

Yamaguchi UniversityYamaguchi, Japan
Wyszukaj tego autora
Sciendo|Google Scholar
Nakasho, Kazuhisa
 oraz 
Yuichi Futa

Yuichi Futa

Tokyo University of Technology TokyoJapan
Wyszukaj tego autora
Sciendo|Google Scholar
Futa, Yuichi
  
Otwarty dostęp | 26 sie 2021
Miscellaneous Graph Preliminaries. Part I
Sebastian Koch

Sebastian Koch

Johannes Gutenberg University MainzGermany
Wyszukaj tego autora
Sciendo|Google Scholar
Koch, Sebastian
  
Otwarty dostęp | 26 sie 2021
Algebraic Extensions
Christoph Schwarzweller

Christoph Schwarzweller

Institute of Informatics, University of GdańskPoland
Wyszukaj tego autora
Sciendo|Google Scholar
Schwarzweller, Christoph
 oraz 
Agnieszka Rowińska-Schwarzweller

Agnieszka Rowińska-Schwarzweller

Sopot, Poland
Wyszukaj tego autora
Sciendo|Google Scholar
Rowińska-Schwarzweller, Agnieszka
  
Otwarty dostęp | 26 sie 2021
Functional Space Consisted by Continuous Functions on Topological Space
Hiroshi Yamazaki

Hiroshi Yamazaki

Nagano Prefectural Institute of TechnologyNagano, Japan
Wyszukaj tego autora
Sciendo|Google Scholar
Yamazaki, Hiroshi
, 
Keiichi Miyajima

Keiichi Miyajima

Ibaraki UniversityIbaraki, Japan
Wyszukaj tego autora
Sciendo|Google Scholar
Miyajima, Keiichi
 oraz 
Yasunari Shidama

Yasunari Shidama

Karuizawa Hotch 244-1Nagano, Japan
Wyszukaj tego autora
Sciendo|Google Scholar
Shidama, Yasunari
  
Otwarty dostęp | 26 sie 2021
Elementary Number Theory Problems. Part II
Artur Korniłowicz

Artur Korniłowicz

Institute of Informatics, University of BiałystokPoland
Wyszukaj tego autora
Sciendo|Google Scholar
Korniłowicz, Artur
 oraz 
Dariusz Surowik

Dariusz Surowik

University of BiałystokPoland
Wyszukaj tego autora
Sciendo|Google Scholar
Surowik, Dariusz
  

Wyszukiwanie

Wszystkie tomy i zeszyty w tym czasopiśmie

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