Formalized Mathematics - Tom 14, Numer 4 (2006) - Biblioteka Nauki - Yadda

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Numer - szczegóły

Wydawca

De Gruyter Open

Czasopismo

Formalized Mathematics

Rocznik

2006

Tom

14

Numer

4

Identyfikatory

Okładka

Zawartość wolumenu

4
- artykuł: The Relevance of Measure and Probability, and Definition of Completeness of Probability (Zhang B., Yamazaki H., Nakamura Y.), s. 225-229
- artykuł: The Quaternion Numbers (Liang X., Ge F.), s. 161-169
- artykuł: The Catalan Numbers. Part II1 (Pąk K.), s. 153-159
- artykuł: Some Special Matrices of Real Elements and Their Properties (Liang X., Ge F., Yue X.), s. 129-134
- artykuł: Schur's Theorem on the Stability of Networks (Schwarzweller C., Rowińska-Schwarzweller A.), s. 135-142
- artykuł: Recognizing Chordal Graphs: Lex BFS and MCS1 (Arneson B., Rudnicki P.), s. 187-206
- artykuł: On the Representation of Natural Numbers in Positional Numeral Systems1 (Naumowicz A.), s. 221-223
- artykuł: Multiplication of Polynomials using Discrete Fourier Transformation (Treyderowski K., Schwarzweller C.), s. 121-128
- artykuł: Model Checking. Part I (Ishida K.), s. 171-186
- artykuł: Integral of Real-Valued Measurable Function1 (Shidama Y., Endou N.), s. 143-152
- artykuł: Integrability and the Integral of Partial Functions from R into R1 (Endou N., Shidama Y., Yamazaki M.), s. 207-212
- artykuł: Baire's Category Theorem and Some Spaces Generated from Real Normed Space1 (Endou N., Shidama Y., Okamura K.), s. 213-219

rozwiń roczniki

JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.