Formalized Mathematics's Cover Image
Otwarty dostęp

Formalized Mathematics

Tom 14 (2006): Zeszyt 4 (Grudzień 2006)

Pobierz okładkę
Poprzedni zeszyt
Następny zeszyt
12 Artykułów
Otwarty dostęp | 13 cze 2008
Baire's Category Theorem and Some Spaces Generated from Real Normed Space1
Noboru Endou

Noboru Endou

Wyszukaj tego autora
Sciendo|Google Scholar
Endou, Noboru
, 
Yasunari Shidama

Yasunari Shidama

Wyszukaj tego autora
Sciendo|Google Scholar
Shidama, Yasunari
 oraz 
Katsumasa Okamura

Katsumasa Okamura

Wyszukaj tego autora
Sciendo|Google Scholar
Okamura, Katsumasa
  
Otwarty dostęp | 13 cze 2008
On the Representation of Natural Numbers in Positional Numeral Systems1
Adam Naumowicz

Adam Naumowicz

Wyszukaj tego autora
Sciendo|Google Scholar
Naumowicz, Adam
  
Otwarty dostęp | 13 cze 2008
The Catalan Numbers. Part II1
Karol Pąk

Karol Pąk

Wyszukaj tego autora
Sciendo|Google Scholar
Pąk, Karol
  
Otwarty dostęp | 13 cze 2008
Recognizing Chordal Graphs: Lex BFS and MCS1
Broderick Arneson

Broderick Arneson

Wyszukaj tego autora
Sciendo|Google Scholar
Arneson, Broderick
 oraz 
Piotr Rudnicki

Piotr Rudnicki

Wyszukaj tego autora
Sciendo|Google Scholar
Rudnicki, Piotr
  
Otwarty dostęp | 13 cze 2008
Integrability and the Integral of Partial Functions from R into R1
Noboru Endou

Noboru Endou

Wyszukaj tego autora
Sciendo|Google Scholar
Endou, Noboru
, 
Yasunari Shidama

Yasunari Shidama

Wyszukaj tego autora
Sciendo|Google Scholar
Shidama, Yasunari
 oraz 
Masahiko Yamazaki

Masahiko Yamazaki

Wyszukaj tego autora
Sciendo|Google Scholar
Yamazaki, Masahiko
  
Otwarty dostęp | 13 cze 2008
Model Checking. Part I
Kazuhisa Ishida

Kazuhisa Ishida

Wyszukaj tego autora
Sciendo|Google Scholar
Ishida, Kazuhisa
  
Otwarty dostęp | 13 cze 2008
Multiplication of Polynomials using Discrete Fourier Transformation
Krzysztof Treyderowski

Krzysztof Treyderowski

Wyszukaj tego autora
Sciendo|Google Scholar
Treyderowski, Krzysztof
 oraz 
Christoph Schwarzweller

Christoph Schwarzweller

Wyszukaj tego autora
Sciendo|Google Scholar
Schwarzweller, Christoph
  
Otwarty dostęp | 13 cze 2008
Some Special Matrices of Real Elements and Their Properties
Xiquan Liang

Xiquan Liang

Wyszukaj tego autora
Sciendo|Google Scholar
Liang, Xiquan
, 
Fuguo Ge

Fuguo Ge

Wyszukaj tego autora
Sciendo|Google Scholar
Ge, Fuguo
 oraz 
Xiaopeng Yue

Xiaopeng Yue

Wyszukaj tego autora
Sciendo|Google Scholar
Yue, Xiaopeng
  
Otwarty dostęp | 13 cze 2008
The Relevance of Measure and Probability, and Definition of Completeness of Probability
Bo Zhang

Bo Zhang

Wyszukaj tego autora
Sciendo|Google Scholar
Zhang, Bo
, 
Hiroshi Yamazaki

Hiroshi Yamazaki

Wyszukaj tego autora
Sciendo|Google Scholar
Yamazaki, Hiroshi
 oraz 
Yatsuka Nakamura

Yatsuka Nakamura

Wyszukaj tego autora
Sciendo|Google Scholar
Nakamura, Yatsuka
  
Otwarty dostęp | 13 cze 2008
Integral of Real-Valued Measurable Function1
Yasunari Shidama

Yasunari Shidama

Wyszukaj tego autora
Sciendo|Google Scholar
Shidama, Yasunari
 oraz 
Noboru Endou

Noboru Endou

Wyszukaj tego autora
Sciendo|Google Scholar
Endou, Noboru
  
Otwarty dostęp | 13 cze 2008
Schur's Theorem on the Stability of Networks
Christoph Schwarzweller

Christoph Schwarzweller

Wyszukaj tego autora
Sciendo|Google Scholar
Schwarzweller, Christoph
 oraz 
Agnieszka Rowińska-Schwarzweller

Agnieszka Rowińska-Schwarzweller

Wyszukaj tego autora
Sciendo|Google Scholar
Rowińska-Schwarzweller, Agnieszka
  
Otwarty dostęp | 13 cze 2008
The Quaternion Numbers
Xiquan Liang

Xiquan Liang

Wyszukaj tego autora
Sciendo|Google Scholar
Liang, Xiquan
 oraz 
Fuguo Ge

Fuguo Ge

Wyszukaj tego autora
Sciendo|Google Scholar
Ge, Fuguo
  

Wyszukiwanie

Wszystkie tomy i zeszyty w tym czasopiśmie

Język:
Angielski
Częstotliwość wydawania:
1 razy w roku
Dziedziny czasopisma:
Matematyka, Matematyka ogólna, Informatyka, Informatyka, inne
Kanał RSS czasopisma