Formalized Mathematics's Cover Image
Acceso abierto

Formalized Mathematics

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

Descargar portada
Edición anterior
Próxima edición
10 Artículos
Acceso abierto | 01 jun 2013
Polygonal Numbers
Adam Grabowski
Adam Grabowski
  
Acceso abierto | 01 jun 2013
More on Divisibility Criteria for Selected Primes
Adam Naumowicz
Adam Naumowicz
 y 
Radosław Piliszek
Radosław Piliszek
  
Acceso abierto | 01 jun 2013
On Square-Free Numbers
Adam Grabowski
Adam Grabowski
  
Acceso abierto | 01 jun 2013
Gaussian Integers
Yuichi Futa
Yuichi Futa
, 
Hiroyuki Okazaki
Hiroyuki Okazaki
, 
Daichi Mizushima
Daichi Mizushima
 y 
Yasunari Shidama
Yasunari Shidama
  
Acceso abierto | 01 jun 2013
N-Dimensional Binary Vector Spaces
Kenichi Arai
Kenichi Arai
 y 
Hiroyuki Okazaki
Hiroyuki Okazaki
  
Acceso abierto | 01 jun 2013
Constructing Binary Huffman Tree
Hiroyuki Okazaki
Hiroyuki Okazaki
, 
Yuichi Futa
Yuichi Futa
 y 
Yasunari Shidama
Yasunari Shidama
  
Acceso abierto | 01 jun 2013
Some Properties of the Sorgenfrey Line and the Sorgenfrey Plane
Adam St. Arnaud
Adam St. Arnaud
 y 
Piotr Rudnicki
Piotr Rudnicki
  
Acceso abierto | 01 jun 2013
Differentiation in Normed Spaces
Noboru Endou
Noboru Endou
 y 
Yasunari Shidama
Yasunari Shidama
  
Acceso abierto | 01 jun 2013
Riemann Integral of Functions from ℝ into Real Banach Space
Keiko Narita
Keiko Narita
, 
Noboru Endou
Noboru Endou
 y 
Yasunari Shidama
Yasunari Shidama
  
Acceso abierto | 01 jun 2013
Commutativeness of Fundamental Groups of Topological Groups
Artur Korniłowicz
Artur Korniłowicz
  

Buscar

Todos los volúmenes y ediciones en esta revista

eISSN:
1898-9934
Idioma:
Inglés
Calendario de la edición:
Volume Open
Temas de la revista:
Computer Sciences, other, Mathematics, General Mathematics
RSS Feed de revista