bwmeta1.element.issn-1898-9934, Tome 22 (2014)

The Polish Digital Mathematics Library

Definition of Flat Poset and Existence Theorems for Recursive Call

Kazuhisa Ishida ; Yasunari Shidama ; Adam Grabowski

p. 1-10

The Polish Digital Mathematics Library

Tietze Extension Theorem for n-dimensional Spaces

p. 11-19

The Polish Digital Mathematics Library

Brouwer Invariance of Domain Theorem

p. 21-28

The Polish Digital Mathematics Library

The Formalization of Decision-Free Petri Net

Pratima K. Shah ; Pauline N. Kawamoto ; Mariusz Giero

p. 29-35

The Polish Digital Mathematics Library

Abstract Reduction Systems and Idea of Knuth-Bendix Completion Algorithm

Grzegorz Bancerek

p. 37-56

The Polish Digital Mathematics Library

Double Series and Sums

Noboru Endou

p. 57-68

The Polish Digital Mathematics Library

Dual Spaces and Hahn-Banach Theorem

Keiko Narita ; Noboru Endou ; Yasunari Shidama

p. 69-77

The Polish Digital Mathematics Library

Semiring of Sets

Roland Coghetto

p. 79-84

The Polish Digital Mathematics Library

Semiring of Sets: Examples

Roland Coghetto

p. 85-88

The Polish Digital Mathematics Library

Topological Interpretation of Rough Sets

Marco B. Caminati ; Artur Korniłowicz

p. 89-97

The Polish Digital Mathematics Library

Pseudo-Canonical Formulae are Classical

p. 99-103

The Polish Digital Mathematics Library

Lagrange’s Four-Square Theorem

Yasushige Watase

p. 105-110

The Polish Digital Mathematics Library

Proth Numbers

Christoph Schwarzweller

p. 111-118

The Polish Digital Mathematics Library

Bertrand’s Ballot Theorem

p. 119-123

The Polish Digital Mathematics Library

Term Context

Grzegorz Bancerek

p. 125-155

The Polish Digital Mathematics Library

Cauchy Mean Theorem

p. 157-166

The Polish Digital Mathematics Library

Tarski Geometry Axioms

William Richter ; Adam Grabowski ; Jesse Alama

p. 167-176

The Polish Digital Mathematics Library

A Note on the Seven Bridges of Königsberg Problem

Adam Naumowicz

p. 177-178

The Polish Digital Mathematics Library

Topological Manifolds

p. 179-186

The Polish Digital Mathematics Library

Rank of Submodule, Linear Transformations and Linearly Independent Subsets of Z-module

Kazuhisa Nakasho ; Yuichi Futa ; Hiroyuki Okazaki ; Yasunari Shidama

p. 189-198

The Polish Digital Mathematics Library

Events of Borel Sets, Construction of Borel Sets and Random Variables for Stochastic Finance

Peter Jaeger

p. 199-204

The Polish Digital Mathematics Library

Some Remarkable Identities Involving Numbers

Rafał Ziobro

p. 205-208

The Polish Digital Mathematics Library

Topological Properties of Real Normed Space

Kazuhisa Nakasho ; Yuichi Futa ; Yasunari Shidama

p. 209-223

The Polish Digital Mathematics Library

Algebraic Approach to Algorithmic Logic

Grzegorz Bancerek

p. 225-255

The Polish Digital Mathematics Library

Formalization of Generalized Almost Distributive Lattices

p. 257-267

The Polish Digital Mathematics Library

Difference of Function on Vector Space over F

Kenichi Arai ; Ken Wakabayashi ; Hiroyuki Okazaki

p. 269-275

The Polish Digital Mathematics Library

Torsion Z-module and Torsion-free Z-module

Yuichi Futa ; Hiroyuki Okazaki ; Kazuhisa Nakasho ; Yasunari Shidama

Artur Korniłowicz ; Christoph Schwarzweller

p. 277-289

The Polish Digital Mathematics Library

The First Isomorphism Theorem and Other Properties of Rings

p. 291-301

The Polish Digital Mathematics Library

Bidual Spaces and Reflexivity of Real Normed Spaces

Keiko Narita ; Noboru Endou ; Yasunari Shidama

p. 303-311

The Polish Digital Mathematics Library

Some Facts about Trigonometry and Euclidean Geometry

Roland Coghetto

p. 313-319

The Polish Digital Mathematics Library

The Formal Construction of Fuzzy Numbers