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

2012

Tom

20

Numer

4

Identyfikatory

Okładka

Zawartość wolumenu

4
- artykuł: Posterior Probability on Finite Set (Okazaki H.), s. 257-263
- artykuł: Basic Properties of Primitive Root and Order Function (Ma N., Liang X.), s. 265-269
- artykuł: Banach’s Continuous Inverse Theorem and Closed Graph Theorem (Sakurai H., Okazaki H., Shidama Y.), s. 271-274
- artykuł: Free ℤ-module (Futa Y., Okazaki H., Shidama Y.), s. 275-280
- artykuł: Cayley-Dickson Construction (Korniłowicz A.), s. 281-290
- artykuł: Contracting Mapping on Normed Linear Space (Miyajima K., Korniłowicz A., Shidama Y.), s. 291-301
- artykuł: Products in Categories without Uniqueness of cod and dom (Korniłowicz A.), s. 303-307
- artykuł: Program Algebra over an Algebra (Bancerek G.), s. 309-341
- artykuł: Isomorphisms of Direct Products of Finite Cyclic Groups (Arai K., Okazaki H., Shidama Y.), s. 343-347
- artykuł: On L1Space Formed by Complex-Valued Partial Functions (Watase Y., Endou N., Shidama Y.), s. 349-357

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