Formalized Mathematics - Tom 16, Numer 4 (2008) - 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

2008

Tom

16

Numer

4

Identyfikatory

Okładka

Zawartość wolumenu

4
- artykuł: Eigenvalues of a Linear Transformation (Pąk K.), s. 289-295
- artykuł: Jordan Matrix Decomposition (Pąk K.), s. 297-303
- artykuł: Fatou's Lemma and the Lebesgue's Convergence Theorem (Endou N., Narita K., Shidama Y.), s. 305-309
- artykuł: Extended Riemann Integral of Functions of Real Variable and One-sided Laplace Transform (Yamazaki M., Yamazaki H., Shidama Y.), s. 311-317
- artykuł: Integral of Complex-Valued Measurable Function (Narita K., Endou N., Shidama Y.), s. 319-324
- artykuł: Introduction to Matroids (Bancerek G., Shidama Y.), s. 325-332
- artykuł: Partial Differentiation of Real Binary Functions (Xie B., Liang X., Li H.), s. 333-338
- artykuł: Model Checking. Part III (Ishida K., Shidama Y.), s. 339-353
- artykuł: Basic Properties of Circulant Matrices and Anti-Circular Matrices (Yue X., Liang X.), s. 355-360
- artykuł: OnL1Space Formed by Real-Valued Partial Functions (Watase Y., Endou N., Shidama Y.), s. 361-369
- artykuł: BCI-homomorphisms (Ding Y., Ge F., Wu C.), s. 371-376
- artykuł: Stability of the 4-2 Binary Addition Circuit Cells. Part I (Wasaki K.), s. 377-387
- artykuł: Several Differentiation Formulas of Special Functions. Part VII (Ge F., Xie B.), s. 389-399
- artykuł: Open Mapping Theorem (Sakurai H., Kunimune H., Shidama Y.), s. 401-403

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