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

2012

Tom

20

Numer

2

Identyfikatory

Okładka

Zawartość wolumenu

2
- artykuł: Fundamental Group of n-sphere for n ≥ 2 (Riccardi M., Korniłowicz A.), s. 97-104
- artykuł: The Borsuk-Ulam Theorem (Korniłowicz A., Riccardi M.), s. 105-112
- artykuł: Higher-Order Partial Differentiation (Endou N., Okazaki H., Shidama Y.), s. 113-124
- artykuł: Formalization of the Data Encryption Standard (Okazaki H., Shidama Y.), s. 125-146
- artykuł: Semantics of MML Query (Bancerek G.), s. 147-155
- artykuł: Routh’s, Menelaus’ and Generalized Ceva’s Theorems (Shminke B. A.), s. 157-159
- artykuł: Simple Graphs as Simplicial Complexes: the Mycielskian of a Graph (Rudnicki P., Stewart L.), s. 161-174
- artykuł: Extended Euclidean Algorithm and CRT Algorithm (Okazaki H., Aoki Y., Shidama Y.), s. 175-179
- artykuł: Introduction to Rational Functions (Schwarzweller C.), s. 181-191

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