Formalized Mathematics - Tom 19, Numer 1 (2011) - 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

2011

Tom

19

Numer

1

Identyfikatory

Okładka

Zawartość wolumenu

1
- artykuł: Partial Differentiation of Vector-Valued Functions onn-Dimensional Real Normed Linear Spaces (Inoué T., Naumowicz A., Endou N., Shidama Y.), s. 1-9
- artykuł: Some Properties ofp-Groups and Commutativep-Groups (Liang X., Li D.), s. 11-15
- artykuł: Riemann Integral of Functions from R into Real Normed Space (Miyajima K., Kato T., Shidama Y.), s. 17-22
- artykuł: Normal Subgroup of Product of Groups (Okazaki H., Arai K., Shidama Y.), s. 23-26
- artykuł: The Mycielskian of a Graph (Rudnicki P., Stewart L.), s. 27-34
- artykuł: Difference and Difference Quotient. Part IV (Liang X., Tang L., Jiang X.), s. 35-39
- artykuł: The Definition of Topological Manifolds (Riccardi M.), s. 41-44
- artykuł: More on Continuous Functions on Normed Linear Spaces (Okazaki H., Endou N., Shidama Y.), s. 45-49
- artykuł: Cartesian Products of Family of Real Linear Spaces (Okazaki H., Endou N., Shidama Y.), s. 51-59
- artykuł: Formalization of Integral Linear Space (Futa Y., Okazaki H., Shidama Y.), s. 61-64

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