Formalized Mathematics - Tom 25, Numer 2 (2017) - 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

2017

Tom

25

Numer

2

Identyfikatory

Okładka

Zawartość wolumenu

2
- artykuł: Vieta’s Formula about the Sum of Roots of Polynomials (Korniłowicz A., Pąk K.), s. 87-92
- artykuł: Basic Formal Properties of Triangular Norms and Conorms (Grabowski A.), s. 93-100
- artykuł: Introduction to Stopping Time in Stochastic Finance Theory (Jaeger P.), s. 101-105
- artykuł: Pascal’s Theorem in Real Projective Plane (Coghetto R.), s. 107-119
- artykuł: About Quotient Orders and Ordering Sequences (Koch S.), s. 121-139
- artykuł: Basel Problem – Preliminaries (Korniłowicz A., Pąk K.), s. 141-147
- artykuł: Basel Problem (Pąk K., Korniłowicz A.), s. 149-155
- artykuł: Dual Lattice of ℤ-module Lattice (Futa Y., Shidama Y.), s. 157-169

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