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

2010

Tom

18

Numer

1

Identyfikatory

Okładka

Zawartość wolumenu

1
- artykuł: Vector Functions and their Differentiation Formulas in 3-dimensional Euclidean Spaces (Liang X., Zhao P., Bai O.), s. 1-10
- artykuł: Banach Algebra of Continuous Functionals and the Space of Real-Valued Continuous Functionals with Bounded Support (Kanazashi K., Endou N., Shidama Y.), s. 11-16
- artykuł: Free Magmas (Riccardi M.), s. 17-26
- artykuł: Integrability Formulas. Part I (Li B., Ma N.), s. 27-37
- artykuł: Partial Differentiation of Real Ternary Functions (Inoué T., Xie B., Liang X.), s. 39-46
- artykuł: Fixpoint Theorem for Continuous Functions on Chain-Complete Posets (Ishida K., Shidama Y.), s. 47-51
- artykuł: Nilpotent Groups (Li D., Liang X., Men Y.), s. 53-56
- artykuł: Difference and Difference Quotient. Part III (Liang X., Tang L.), s. 57-64
- artykuł: A Model of Mizar Concepts - Unification (Bancerek G.), s. 65-75
- artykuł: Representation of the Fibonacci and Lucas Numbers in Terms of Floor and Ceiling (Jastrzębska M.), s. 77-80
- artykuł: The Correspondence Betweenn-dimensional Euclidean Space and the Product ofnReal Lines (Korniłowicz A.), s. 81-85
- artykuł: Affine Independence in Vector Spaces (Pąk K.), s. 87-93
- artykuł: Abstract Simplicial Complexes (Pąk K.), s. 95-106

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