Formalized Mathematics - Tom 16, Numer 2 (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

2

Identyfikatory

Okładka

Zawartość wolumenu

2
- artykuł: Helly Property for Subtrees (Enright J., Rudnicki P.), s. 91-96
- artykuł: Heron's Formula and Ptolemy's Theorem (Riccardi M.), s. 97-101
- artykuł: Uniqueness of Factoring an Integer and Multiplicative GroupZ/pZ* (Okazaki H., Shidama Y.), s. 103-107
- artykuł: Ideals of BCI-algebras and their Properties (Wu C., Ding Y.), s. 109-114
- artykuł: Banach Algebra of Bounded Functionals (Shidama Y., Suzuki H., Endou N.), s. 115-122
- artykuł: Convex Sets and Convex Combinations on Complex Linear Spaces (Matsuzaki H., Endou N., Shidama Y.), s. 123-133
- artykuł: Inner Products, Group, Ring of Quaternion Numbers (Ge F.), s. 135-139
- artykuł: Several Higher Differentiation Formulas of Special Functions (Zhao J., Liang X., Yan L.), s. 141-145
- artykuł: Inverse Trigonometric Functions Arctan and Arccot (Liang X., Xie B.), s. 147-158
- artykuł: Inverse Trigonometric Functions Arcsec and Arccosec (Xie B., Liang X., Ge F.), s. 159-165
- artykuł: The Lebesgue Monotone Convergence Theorem (Endou N., Narita K., Shidama Y.), s. 167-175
- artykuł: Mizar Analysis of Algorithms: Algorithms over Integers (Bancerek G.), s. 177-194
- artykuł: Invertibility of Matrices of Field Elements (Nakamura Y., Oniumi K., Chang W.), s. 195-202
- artykuł: Ramsey's Theorem (Riccardi M.), s. 203-205
- artykuł: Towards the Construction of a Model of Mizar Concepts (Bancerek G.), s. 207-230

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