Formalized Mathematics's Cover Image
Otwarty dostęp

Formalized Mathematics

Volume 14 (2006): Issue 4 (December 2006)

Pobierz okładkę
Poprzedni zeszyt
Następny zeszyt
12 Artykułów
Otwarty dostęp | 13 cze 2008
Integrability and the Integral of Partial Functions from R into R1
Noboru Endou
Noboru Endou
, 
Yasunari Shidama
Yasunari Shidama
 oraz 
Masahiko Yamazaki
Masahiko Yamazaki
  
Otwarty dostęp | 13 cze 2008
Integral of Real-Valued Measurable Function1
Yasunari Shidama
Yasunari Shidama
 oraz 
Noboru Endou
Noboru Endou
  
Otwarty dostęp | 13 cze 2008
Baire's Category Theorem and Some Spaces Generated from Real Normed Space1
Noboru Endou
Noboru Endou
, 
Yasunari Shidama
Yasunari Shidama
 oraz 
Katsumasa Okamura
Katsumasa Okamura
  
Otwarty dostęp | 13 cze 2008
The Quaternion Numbers
Xiquan Liang
Xiquan Liang
 oraz 
Fuguo Ge
Fuguo Ge
  
Otwarty dostęp | 13 cze 2008
On the Representation of Natural Numbers in Positional Numeral Systems1
Adam Naumowicz
Adam Naumowicz
  
Otwarty dostęp | 13 cze 2008
The Relevance of Measure and Probability, and Definition of Completeness of Probability
Bo Zhang
Bo Zhang
, 
Hiroshi Yamazaki
Hiroshi Yamazaki
 oraz 
Yatsuka Nakamura
Yatsuka Nakamura
  
Otwarty dostęp | 13 cze 2008
The Catalan Numbers. Part II1
Karol Pąk
Karol Pąk
  
Otwarty dostęp | 13 cze 2008
Model Checking. Part I
Kazuhisa Ishida
Kazuhisa Ishida
  
Otwarty dostęp | 13 cze 2008
Multiplication of Polynomials using Discrete Fourier Transformation
Krzysztof Treyderowski
Krzysztof Treyderowski
 oraz 
Christoph Schwarzweller
Christoph Schwarzweller
  
Otwarty dostęp | 13 cze 2008
Recognizing Chordal Graphs: Lex BFS and MCS1
Broderick Arneson
Broderick Arneson
 oraz 
Piotr Rudnicki
Piotr Rudnicki
  
Otwarty dostęp | 13 cze 2008
Some Special Matrices of Real Elements and Their Properties
Xiquan Liang
Xiquan Liang
, 
Fuguo Ge
Fuguo Ge
 oraz 
Xiaopeng Yue
Xiaopeng Yue
  
Otwarty dostęp | 13 cze 2008
Schur's Theorem on the Stability of Networks
Christoph Schwarzweller
Christoph Schwarzweller
 oraz 
Agnieszka Rowińska-Schwarzweller
Agnieszka Rowińska-Schwarzweller
  

Wyszukiwanie

Wszystkie tomy i zeszyty w tym czasopiśmie

eISSN:
1898-9934
ISSN:
1426-2630
Język:
Angielski
Częstotliwość wydawania:
Volume Open
Dziedziny czasopisma:
Mathematics, General Mathematics, Computer Sciences, other
Kanał RSS czasopisma