Formalized Mathematics - Tom 24, Numer 1 (2016) - Biblioteka Nauki - Yadda

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Numer - szczegóły

Wydawca

De Gruyter Open

Czasopismo

Formalized Mathematics

Rocznik

2016

Tom

24

Numer

1

Identyfikatory

Okładka

Zawartość wolumenu

1
- artykuł: Modelling Real World Using Stochastic Processes and Filtration (Jaeger P.), s. 1-16
- artykuł: Circumcenter, Circumcircle and Centroid of a Triangle (Coghetto R.), s. 17-26
- artykuł: Altitude, Orthocenter of a Triangle and Triangulation (Coghetto R.), s. 27-36
- artykuł: Divisible ℤ-modules (Futa Y., Shidama Y.), s. 37-47
- artykuł: Lattice of ℤ-module (Futa Y., Shidama Y.), s. 49-68
- artykuł: Product Pre-Measure (Endou N.), s. 69-79
- artykuł: Conservation Rules of Direct Sum Decomposition of Groups (Nakasho K., Yamazaki H., Okazaki H., Shidama Y.), s. 81-94

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