Formalized Mathematics's Cover Image
Open Access

Formalized Mathematics

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

Download Cover
Previous Issue
Next Issue
10 Articles
Open Access | Jun 09, 2008
Basic Operations on Preordered Coherent Spaces
Klaus Grue
Klaus Grue
 and 
Artur Korniłowicz
Artur Korniłowicz
  
Open Access | Jun 09, 2008
Linear Congruence Relation and Complete Residue Systems
Xiquan Liang
Xiquan Liang
, 
Li Yan
Li Yan
 and 
Junjie Zhao
Junjie Zhao
  
Open Access | Jun 09, 2008
Basic Properties of the Rank of Matrices over a Field
Karol Pąk
Karol Pąk
  
Open Access | Jun 09, 2008
Arrow's Impossibility Theorem
Freek Wiedijk
Freek Wiedijk
  
Open Access | Jun 09, 2008
Several Integrability Formulas of Special Functions
Cuiying Peng
Cuiying Peng
, 
Fuguo Ge
Fuguo Ge
 and 
Xiquan Liang
Xiquan Liang
  
Open Access | Jun 09, 2008
Alexandroff One Point Compactification
Czesław Byliński
Czesław Byliński
  
Open Access | Jun 09, 2008
Congruences and Quotient Algebras of BCI-algebras
Yuzhong Ding
Yuzhong Ding
 and 
Zhiyong Pang
Zhiyong Pang
  
Open Access | Jun 09, 2008
Several Differentiation Formulas of Special Functions. Part VI
Bo Li
Bo Li
 and 
Pan Wang
Pan Wang
  
Open Access | Jun 09, 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
 and 
Hiroyuki Okazaki
Hiroyuki Okazaki
  
Open Access | Jun 09, 2008
Several Classes of BCK-algebras and their Properties
Tao Sun
Tao Sun
, 
Dahai Hu
Dahai Hu
 and 
Xiquan Liang
Xiquan Liang
  

Search

All Volumes and Issues in this Journal

eISSN:
1898-9934
Language:
English
Publication timeframe:
Volume Open
Journal Subjects:
Computer Sciences, other, Mathematics, General Mathematics
Journal RSS Feed