Formalized Mathematics's Cover Image
Open Access

Formalized Mathematics

Volume 16 (2008): Issue 4 (December 2008)

Download Cover
Previous Issue
Next Issue
14 Articles
Open Access | Mar 20, 2009
Fatou's Lemma and the Lebesgue's Convergence Theorem
Noboru Endou
Noboru Endou
, 
Keiko Narita
Keiko Narita
 and 
Yasunari Shidama
Yasunari Shidama
  
Open Access | Mar 20, 2009
BCI-homomorphisms
Yuzhong Ding
Yuzhong Ding
, 
Fuguo Ge
Fuguo Ge
 and 
Chenglong Wu
Chenglong Wu
  
Open Access | Mar 20, 2009
Integral of Complex-Valued Measurable Function
Keiko Narita
Keiko Narita
, 
Noboru Endou
Noboru Endou
 and 
Yasunari Shidama
Yasunari Shidama
  
Open Access | Mar 20, 2009
Extended Riemann Integral of Functions of Real Variable and One-sided Laplace Transform
Masahiko Yamazaki
Masahiko Yamazaki
, 
Hiroshi Yamazaki
Hiroshi Yamazaki
 and 
Yasunari Shidama
Yasunari Shidama
  
Open Access | Mar 20, 2009
Model Checking. Part III
Kazuhisa Ishida
Kazuhisa Ishida
 and 
Yasunari Shidama
Yasunari Shidama
  
Open Access | Mar 20, 2009
Eigenvalues of a Linear Transformation
Karol Pąk
Karol Pąk
  
Open Access | Mar 20, 2009
Open Mapping Theorem
Hideki Sakurai
Hideki Sakurai
, 
Hisayoshi Kunimune
Hisayoshi Kunimune
 and 
Yasunari Shidama
Yasunari Shidama
  
Open Access | Mar 20, 2009
Stability of the 4-2 Binary Addition Circuit Cells. Part I
Katsumi Wasaki
Katsumi Wasaki
  
Open Access | Mar 20, 2009
Jordan Matrix Decomposition
Karol Pąk
Karol Pąk
  
Open Access | Mar 20, 2009
Basic Properties of Circulant Matrices and Anti-Circular Matrices
Xiaopeng Yue
Xiaopeng Yue
 and 
Xiquan Liang
Xiquan Liang
  
Open Access | Mar 20, 2009
On L1 Space Formed by Real-Valued Partial Functions
Yasushige Watase
Yasushige Watase
, 
Noboru Endou
Noboru Endou
 and 
Yasunari Shidama
Yasunari Shidama
  
Open Access | Mar 20, 2009
Several Differentiation Formulas of Special Functions. Part VII
Fuguo Ge
Fuguo Ge
 and 
Bing Xie
Bing Xie
  
Open Access | Mar 20, 2009
Introduction to Matroids
Grzegorz Bancerek
Grzegorz Bancerek
 and 
Yasunari Shidama
Yasunari Shidama
  
Open Access | Mar 20, 2009
Partial Differentiation of Real Binary Functions
Bing Xie
Bing Xie
, 
Xiquan Liang
Xiquan Liang
 and 
Hongwei Li
Hongwei Li
  

Search

All Volumes and Issues in this Journal

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