Formalized Mathematics's Cover Image
Accesso libero

Formalized Mathematics

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

Scarica la copertina
Numero precedente
Prossimo numero
12 Articoli
Accesso libero | 13 giu 2008
Integrability and the Integral of Partial Functions from R into R1
Noboru Endou
Noboru Endou
, 
Yasunari Shidama
Yasunari Shidama
 e 
Masahiko Yamazaki
Masahiko Yamazaki
  
Accesso libero | 13 giu 2008
Integral of Real-Valued Measurable Function1
Yasunari Shidama
Yasunari Shidama
 e 
Noboru Endou
Noboru Endou
  
Accesso libero | 13 giu 2008
Baire's Category Theorem and Some Spaces Generated from Real Normed Space1
Noboru Endou
Noboru Endou
, 
Yasunari Shidama
Yasunari Shidama
 e 
Katsumasa Okamura
Katsumasa Okamura
  
Accesso libero | 13 giu 2008
The Quaternion Numbers
Xiquan Liang
Xiquan Liang
 e 
Fuguo Ge
Fuguo Ge
  
Accesso libero | 13 giu 2008
On the Representation of Natural Numbers in Positional Numeral Systems1
Adam Naumowicz
Adam Naumowicz
  
Accesso libero | 13 giu 2008
The Relevance of Measure and Probability, and Definition of Completeness of Probability
Bo Zhang
Bo Zhang
, 
Hiroshi Yamazaki
Hiroshi Yamazaki
 e 
Yatsuka Nakamura
Yatsuka Nakamura
  
Accesso libero | 13 giu 2008
The Catalan Numbers. Part II1
Karol Pąk
Karol Pąk
  
Accesso libero | 13 giu 2008
Model Checking. Part I
Kazuhisa Ishida
Kazuhisa Ishida
  
Accesso libero | 13 giu 2008
Multiplication of Polynomials using Discrete Fourier Transformation
Krzysztof Treyderowski
Krzysztof Treyderowski
 e 
Christoph Schwarzweller
Christoph Schwarzweller
  
Accesso libero | 13 giu 2008
Recognizing Chordal Graphs: Lex BFS and MCS1
Broderick Arneson
Broderick Arneson
 e 
Piotr Rudnicki
Piotr Rudnicki
  
Accesso libero | 13 giu 2008
Some Special Matrices of Real Elements and Their Properties
Xiquan Liang
Xiquan Liang
, 
Fuguo Ge
Fuguo Ge
 e 
Xiaopeng Yue
Xiaopeng Yue
  
Accesso libero | 13 giu 2008
Schur's Theorem on the Stability of Networks
Christoph Schwarzweller
Christoph Schwarzweller
 e 
Agnieszka Rowińska-Schwarzweller
Agnieszka Rowińska-Schwarzweller
  

Cerca

Tutti i volumi ed i numeri in questa rivista

eISSN:
1898-9934
Lingua:
Inglese
Frequenza di pubblicazione:
Volume Open
Argomenti della rivista:
Computer Sciences, other, Mathematics, General Mathematics
Feed RSS della rivista