Formalized Mathematics's Cover Image
Accesso libero

Formalized Mathematics

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

Scarica la copertina
Numero precedente
Prossimo numero
10 Articoli
Accesso libero | 01 giu 2013
Polygonal Numbers
Adam Grabowski
Adam Grabowski
  
Accesso libero | 01 giu 2013
More on Divisibility Criteria for Selected Primes
Adam Naumowicz
Adam Naumowicz
 e 
Radosław Piliszek
Radosław Piliszek
  
Accesso libero | 01 giu 2013
On Square-Free Numbers
Adam Grabowski
Adam Grabowski
  
Accesso libero | 01 giu 2013
Gaussian Integers
Yuichi Futa
Yuichi Futa
, 
Hiroyuki Okazaki
Hiroyuki Okazaki
, 
Daichi Mizushima
Daichi Mizushima
 e 
Yasunari Shidama
Yasunari Shidama
  
Accesso libero | 01 giu 2013
N-Dimensional Binary Vector Spaces
Kenichi Arai
Kenichi Arai
 e 
Hiroyuki Okazaki
Hiroyuki Okazaki
  
Accesso libero | 01 giu 2013
Constructing Binary Huffman Tree
Hiroyuki Okazaki
Hiroyuki Okazaki
, 
Yuichi Futa
Yuichi Futa
 e 
Yasunari Shidama
Yasunari Shidama
  
Accesso libero | 01 giu 2013
Some Properties of the Sorgenfrey Line and the Sorgenfrey Plane
Adam St. Arnaud
Adam St. Arnaud
 e 
Piotr Rudnicki
Piotr Rudnicki
  
Accesso libero | 01 giu 2013
Differentiation in Normed Spaces
Noboru Endou
Noboru Endou
 e 
Yasunari Shidama
Yasunari Shidama
  
Accesso libero | 01 giu 2013
Riemann Integral of Functions from ℝ into Real Banach Space
Keiko Narita
Keiko Narita
, 
Noboru Endou
Noboru Endou
 e 
Yasunari Shidama
Yasunari Shidama
  
Accesso libero | 01 giu 2013
Commutativeness of Fundamental Groups of Topological Groups
Artur Korniłowicz
Artur Korniłowicz
  

Cerca

Tutti i volumi ed i numeri in questa rivista

eISSN:
1898-9934
Lingua:
Inglese
Frequenza di pubblicazione:
Volume Open
Argomenti della rivista:
Computer Sciences, other, Mathematics, General Mathematics
Feed RSS della rivista