Formalized Mathematics's Cover Image
Acceso abierto

Formalized Mathematics

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

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

Buscar

Todos los volúmenes y ediciones en esta revista

eISSN:
1898-9934
ISSN:
1426-2630
Idioma:
Inglés
Calendario de la edición:
Volume Open
Temas de la revista:
Informática, otros, Matemáticas, Matemáticas generales
RSS Feed de revista