Formalized Mathematics's Cover Image
Otwarty dostęp

Formalized Mathematics

Volume 21 (2013): Issue 2 (June 2013)

Pobierz okładkę
Poprzedni zeszyt
Następny zeszyt
10 Artykułów
Otwarty dostęp | 01 cze 2013
Polygonal Numbers
Adam Grabowski
Adam Grabowski
  
Otwarty dostęp | 01 cze 2013
More on Divisibility Criteria for Selected Primes
Adam Naumowicz
Adam Naumowicz
 oraz 
Radosław Piliszek
Radosław Piliszek
  
Otwarty dostęp | 01 cze 2013
On Square-Free Numbers
Adam Grabowski
Adam Grabowski
  
Otwarty dostęp | 01 cze 2013
Gaussian Integers
Yuichi Futa
Yuichi Futa
, 
Hiroyuki Okazaki
Hiroyuki Okazaki
, 
Daichi Mizushima
Daichi Mizushima
 oraz 
Yasunari Shidama
Yasunari Shidama
  
Otwarty dostęp | 01 cze 2013
N-Dimensional Binary Vector Spaces
Kenichi Arai
Kenichi Arai
 oraz 
Hiroyuki Okazaki
Hiroyuki Okazaki
  
Otwarty dostęp | 01 cze 2013
Constructing Binary Huffman Tree
Hiroyuki Okazaki
Hiroyuki Okazaki
, 
Yuichi Futa
Yuichi Futa
 oraz 
Yasunari Shidama
Yasunari Shidama
  
Otwarty dostęp | 01 cze 2013
Some Properties of the Sorgenfrey Line and the Sorgenfrey Plane
Adam St. Arnaud
Adam St. Arnaud
 oraz 
Piotr Rudnicki
Piotr Rudnicki
  
Otwarty dostęp | 01 cze 2013
Differentiation in Normed Spaces
Noboru Endou
Noboru Endou
 oraz 
Yasunari Shidama
Yasunari Shidama
  
Otwarty dostęp | 01 cze 2013
Riemann Integral of Functions from ℝ into Real Banach Space
Keiko Narita
Keiko Narita
, 
Noboru Endou
Noboru Endou
 oraz 
Yasunari Shidama
Yasunari Shidama
  
Otwarty dostęp | 01 cze 2013
Commutativeness of Fundamental Groups of Topological Groups
Artur Korniłowicz
Artur Korniłowicz
  

Wyszukiwanie

Wszystkie tomy i zeszyty w tym czasopiśmie

eISSN:
1898-9934
Język:
Angielski
Częstotliwość wydawania:
Volume Open
Dziedziny czasopisma:
Computer Sciences, other, Mathematics, General Mathematics
Kanał RSS czasopisma