Formalized Mathematics's Cover Image
Accès libre

Formalized Mathematics

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

Télécharger la couverture
L'édition précédente
La prochaine édition
10 Articles
Accès libre | 09 juin 2008
Basic Operations on Preordered Coherent Spaces
Klaus Grue
Klaus Grue
 et 
Artur Korniłowicz
Artur Korniłowicz
  
Accès libre | 09 juin 2008
Linear Congruence Relation and Complete Residue Systems
Xiquan Liang
Xiquan Liang
, 
Li Yan
Li Yan
 et 
Junjie Zhao
Junjie Zhao
  
Accès libre | 09 juin 2008
Basic Properties of the Rank of Matrices over a Field
Karol Pąk
Karol Pąk
  
Accès libre | 09 juin 2008
Arrow's Impossibility Theorem
Freek Wiedijk
Freek Wiedijk
  
Accès libre | 09 juin 2008
Several Integrability Formulas of Special Functions
Cuiying Peng
Cuiying Peng
, 
Fuguo Ge
Fuguo Ge
 et 
Xiquan Liang
Xiquan Liang
  
Accès libre | 09 juin 2008
Alexandroff One Point Compactification
Czesław Byliński
Czesław Byliński
  
Accès libre | 09 juin 2008
Congruences and Quotient Algebras of BCI-algebras
Yuzhong Ding
Yuzhong Ding
 et 
Zhiyong Pang
Zhiyong Pang
  
Accès libre | 09 juin 2008
Several Differentiation Formulas of Special Functions. Part VI
Bo Li
Bo Li
 et 
Pan Wang
Pan Wang
  
Accès libre | 09 juin 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
 et 
Hiroyuki Okazaki
Hiroyuki Okazaki
  
Accès libre | 09 juin 2008
Several Classes of BCK-algebras and their Properties
Tao Sun
Tao Sun
, 
Dahai Hu
Dahai Hu
 et 
Xiquan Liang
Xiquan Liang
  

Chercher

Tous les volumes et éditions dans cette revue

eISSN:
1898-9934
Langue:
Anglais
Périodicité:
Volume Open
Sujets de la revue:
Informatique, autres, Mathématiques, Mathématiques générales
RSS Feed de la revue