Formalized Mathematics's Cover Image
Otwarty dostęp

Formalized Mathematics

Volume 15 (2007): Issue 4 (December 2007)

Pobierz okładkę
Poprzedni zeszyt
Następny zeszyt
10 Artykułów
Otwarty dostęp | 09 cze 2008
Basic Operations on Preordered Coherent Spaces
Klaus Grue
Klaus Grue
 oraz 
Artur Korniłowicz
Artur Korniłowicz
  
Otwarty dostęp | 09 cze 2008
Linear Congruence Relation and Complete Residue Systems
Xiquan Liang
Xiquan Liang
, 
Li Yan
Li Yan
 oraz 
Junjie Zhao
Junjie Zhao
  
Otwarty dostęp | 09 cze 2008
Basic Properties of the Rank of Matrices over a Field
Karol Pąk
Karol Pąk
  
Otwarty dostęp | 09 cze 2008
Arrow's Impossibility Theorem
Freek Wiedijk
Freek Wiedijk
  
Otwarty dostęp | 09 cze 2008
Several Integrability Formulas of Special Functions
Cuiying Peng
Cuiying Peng
, 
Fuguo Ge
Fuguo Ge
 oraz 
Xiquan Liang
Xiquan Liang
  
Otwarty dostęp | 09 cze 2008
Alexandroff One Point Compactification
Czesław Byliński
Czesław Byliński
  
Otwarty dostęp | 09 cze 2008
Congruences and Quotient Algebras of BCI-algebras
Yuzhong Ding
Yuzhong Ding
 oraz 
Zhiyong Pang
Zhiyong Pang
  
Otwarty dostęp | 09 cze 2008
Several Differentiation Formulas of Special Functions. Part VI
Bo Li
Bo Li
 oraz 
Pan Wang
Pan Wang
  
Otwarty dostęp | 09 cze 2008
Inferior Limit, Superior Limit and Convergence of Sequences of Extended Real Numbers
Hiroshi Yamazaki
Hiroshi Yamazaki
, 
Noboru Endou
Noboru Endou
, 
Yasunari Shidama
Yasunari Shidama
 oraz 
Hiroyuki Okazaki
Hiroyuki Okazaki
  
Otwarty dostęp | 09 cze 2008
Several Classes of BCK-algebras and their Properties
Tao Sun
Tao Sun
, 
Dahai Hu
Dahai Hu
 oraz 
Xiquan Liang
Xiquan Liang
  

Wyszukiwanie

Wszystkie tomy i zeszyty w tym czasopiśmie

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