Formalized Mathematics's Cover Image
Acceso abierto

Formalized Mathematics

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

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

Buscar

Todos los volúmenes y ediciones en esta revista

eISSN:
1898-9934
Idioma:
Inglés
Calendario de la edición:
Volume Open
Temas de la revista:
Computer Sciences, other, Mathematics, General Mathematics
RSS Feed de revista