[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Formalized Mathematics's Cover Image
Otwarty dostęp

Formalized Mathematics

Tom 16 (2008): Zeszyt 4 (Grudzień 2008)

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

Wyszukiwanie

Wszystkie tomy i zeszyty w tym czasopiśmie

eISSN:
1898-9934
ISSN:
1426-2630
Język:
Angielski
Częstotliwość wydawania:
1 razy w roku
Dziedziny czasopisma:
Matematyka, Matematyka ogólna, Informatyka, Informatyka, inne
Kanał RSS czasopisma