Formalized Mathematics's Cover Image
Uneingeschränkter Zugang

Formalized Mathematics

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

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

Suche

Alle Bände und Hefte dieser Zeitschrift

eISSN:
1898-9934
ISSN:
1426-2630
Sprache:
Englisch
Zeitrahmen der Veröffentlichung:
Volume Open
Fachgebiete der Zeitschrift:
Informatik, andere, Mathematik, Allgemeines
Zeitschrift RSS Feed