Formalized Mathematics's Cover Image
Accesso libero

Formalized Mathematics

Volume 21 (2013): Issue 3 (October 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
Kenichi Arai
 e 
Hiroyuki Okazaki
Hiroyuki Okazaki
  
Accesso libero | 01 ott 2013
Object-Free Definition of Categories
Marco Riccardi
Marco Riccardi
  
Accesso libero | 01 ott 2013
Prime Filters and Ideals in Distributive Lattices
Adam Grabowski
Adam Grabowski
  
Accesso libero | 01 ott 2013
Introduction to Formal Preference Spaces
Eliza Niewiadomska
Eliza Niewiadomska
 e 
Adam Grabowski
Adam Grabowski
  
Accesso libero | 01 ott 2013
Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order
Hiroshi Yamazaki
Hiroshi Yamazaki
, 
Hiroyuki Okazaki
Hiroyuki Okazaki
, 
Kazuhisa Nakasho
Kazuhisa Nakasho
 e 
Yasunari Shidama
Yasunari Shidama
  
Accesso libero | 01 ott 2013
Double Sequences and Limits
Noboru Endou
Noboru Endou
, 
Hiroyuki Okazaki
Hiroyuki Okazaki
 e 
Yasunari Shidama
Yasunari Shidama
  
Accesso libero | 01 ott 2013
The Linearity of Riemann Integral on Functions from ℝ into Real Banach Space
Keiko Narita
Keiko Narita
, 
Noboru Endou
Noboru Endou
 e 
Yasunari Shidama
Yasunari Shidama
  

Cerca

Tutti i volumi ed i numeri in questa rivista

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