[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Formalized Mathematics's Cover Image
Accesso libero

Formalized Mathematics

Volume 21 (2013): Numero 3 (Ottobre 2013)

Scarica la copertina
Numero precedente
Prossimo numero
7 Articoli
Accesso libero | 01 ott 2013
Formalization of the Advanced Encryption Standard. Part I
Kenichi Arai
Arai, Kenichi
 e 
Hiroyuki Okazaki
Okazaki, Hiroyuki
  
Accesso libero | 01 ott 2013
Object-Free Definition of Categories
Marco Riccardi
Riccardi, Marco
  
Accesso libero | 01 ott 2013
Double Sequences and Limits
Noboru Endou
Endou, Noboru
, 
Hiroyuki Okazaki
Okazaki, Hiroyuki
 e 
Yasunari Shidama
Shidama, Yasunari
  
Accesso libero | 01 ott 2013
Introduction to Formal Preference Spaces
Eliza Niewiadomska
Niewiadomska, Eliza
 e 
Adam Grabowski
Grabowski, Adam
  
Accesso libero | 01 ott 2013
Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order
Hiroshi Yamazaki
Yamazaki, Hiroshi
, 
Hiroyuki Okazaki
Okazaki, Hiroyuki
, 
Kazuhisa Nakasho
Nakasho, Kazuhisa
 e 
Yasunari Shidama
Shidama, Yasunari
  
Accesso libero | 01 ott 2013
Prime Filters and Ideals in Distributive Lattices
Adam Grabowski
Grabowski, Adam
  
Accesso libero | 01 ott 2013
The Linearity of Riemann Integral on Functions from ℝ into Real Banach Space
Keiko Narita
Narita, Keiko
, 
Noboru Endou
Endou, Noboru
 e 
Yasunari Shidama
Shidama, Yasunari
  

Cerca

Tutti i volumi ed i numeri in questa rivista

eISSN:
1898-9934
ISSN:
1426-2630
Lingua:
Inglese
Frequenza di pubblicazione:
1 volte all'anno
Argomenti della rivista:
Matematica, Matematica generale, Informatica, Informatica, altro
Feed RSS della rivista