Formalized Mathematics - Tom 15, Numer 3 (2007) - DML-PL - Yadda

Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl

Numer - szczegóły

Wydawca

De Gruyter Open

Czasopismo

Formalized Mathematics

Rocznik

2007

Tom

15

Numer

3

Identyfikatory

Okładka

Zawartość wolumenu

3
- artykuł: Several Differentiation Formulas of Special Functions. Part V (Wang P., Li B.), s. 73-79
- artykuł: The Product Space of Real Normed Spaces and its Properties (Endou N., Shidama Y., Miyajima K.), s. 81-85
- artykuł: Mizar Analysis of Algorithms: Preliminaries (Bancerek G.), s. 87-110
- artykuł: Definition and some Properties of Information Entropy (Zhang B., Nakamura Y.), s. 111-119
- artykuł: String Rewriting Systems (Trybulec M.), s. 121-126
- artykuł: Determinant and Inverse of Matrices of Real Elements (Tamura N., Nakamura Y.), s. 127-136
- artykuł: The Rank+Nullity Theorem (Alama J.), s. 137-142
- artykuł: Laplace Expansion (Pak K., Trybulec A.), s. 143-150
- artykuł: Some Properties of Line and Column Operations on Matrices (Liang X., Sun T., Hu D.), s. 151-157
- artykuł: The Sylow Theorems (Riccardi M.), s. 159-165

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ć.