Sommaire

Analysis of Algorithms: An Example of a Sort Algorithm

Grzegorz Bancerek

Access to full text
Full (PDF)
p. 1-23

The Polish Digital Mathematics Library
The C k Space

Katuhiko Kanazashi ; Hiroyuki Okazaki ; Yasunari Shidama

Access to full text
Full (PDF)
p. 25-31

The Polish Digital Mathematics Library
Random Variables and Product of Probability Spaces

Hiroyuki Okazaki ; Yasunari Shidama

Access to full text
Full (PDF)
p. 33-39

The Polish Digital Mathematics Library
Semantics of MML Query - Ordering

Grzegorz Bancerek

Access to full text
Full (PDF)
p. 41-46

The Polish Digital Mathematics Library
A Test for the Stability of Networks

Agnieszka Rowinska-Schwarzweller ; Christoph Schwarzweller

Access to full text
Full (PDF)
p. 47-53

The Polish Digital Mathematics Library
Relational Formal Characterization of Rough Sets

Adam Grabowski

Access to full text
Full (PDF)
p. 55-64

The Polish Digital Mathematics Library
Isomorphisms of Direct Products of Finite Commutative Groups

Hiroyuki Okazaki ; Hiroshi Yamazaki ; Yasunari Shidama

Access to full text
Full (PDF)
p. 65-74

The Polish Digital Mathematics Library
N-Dimensional Binary Vector Spaces

Kenichi Arai ; Hiroyuki Okazaki

Access to full text
Full (PDF)
p. 75-81

The Polish Digital Mathematics Library
Some Properties of the Sorgenfrey Line and the Sorgenfrey Plane

Adam St. Arnaud ; Piotr Rudnicki

Access to full text
Full (PDF)
p. 83-85

The Polish Digital Mathematics Library
More on Divisibility Criteria for Selected Primes

Adam Naumowicz ; Radosław Piliszek

Access to full text
Full (PDF)
p. 87-94

The Polish Digital Mathematics Library
Differentiation in Normed Spaces

Noboru Endou ; Yasunari Shidama

Access to full text
Full (PDF)
p. 95-102

The Polish Digital Mathematics Library
Polygonal Numbers

Adam Grabowski

Access to full text
Full (PDF)
p. 103-113

The Polish Digital Mathematics Library
Gaussian Integers

Yuichi Futa ; Hiroyuki Okazaki ; Daichi Mizushima ; Yasunari Shidama

Access to full text
Full (PDF)
p. 115-125

The Polish Digital Mathematics Library
Commutativeness of Fundamental Groups of Topological Groups

Artur Korniłowicz

Access to full text
Full (PDF)
p. 127-131

The Polish Digital Mathematics Library
Constructing Binary Huffman Tree

Hiroyuki Okazaki ; Yuichi Futa ; Yasunari Shidama

Access to full text
Full (PDF)
p. 133-143

The Polish Digital Mathematics Library
Riemann Integral of Functions from ℝ into Real Banach Space

Keiko Narita ; Noboru Endou ; Yasunari Shidama

Access to full text
Full (PDF)
p. 145-152

The Polish Digital Mathematics Library
On Square-Free Numbers

Adam Grabowski

Access to full text
Full (PDF)
p. 153-162

The Polish Digital Mathematics Library
Double Sequences and Limits

Noboru Endou ; Hiroyuki Okazaki ; Yasunari Shidama

Access to full text
Full (PDF)
p. 163-170

The Polish Digital Mathematics Library
Formalization of the Advanced Encryption Standard. Part I

Kenichi Arai ; Hiroyuki Okazaki

Access to full text
Full (PDF)
p. 171-184

The Polish Digital Mathematics Library
The Linearity of Riemann Integral on Functions from ℝ into Real Banach Space

Keiko Narita ; Noboru Endou ; Yasunari Shidama

Access to full text
Full (PDF)
p. 185-191

The Polish Digital Mathematics Library
Object-Free Definition of Categories

Marco Riccardi

Access to full text
Full (PDF)
p. 193-205

The Polish Digital Mathematics Library
Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order

Hiroshi Yamazaki ; Hiroyuki Okazaki ; Kazuhisa Nakasho ; Yasunari Shidama

Access to full text
Full (PDF)
p. 207-211

The Polish Digital Mathematics Library
Prime Filters and Ideals in Distributive Lattices

Adam Grabowski

Access to full text
Full (PDF)
p. 213-221

The Polish Digital Mathematics Library
Introduction to Formal Preference Spaces

Eliza Niewiadomska ; Adam Grabowski

Access to full text
Full (PDF)
p. 223-233

The Polish Digital Mathematics Library
Coproducts in Categories without Uniqueness of cod and dom

Maciej Golinski ; Artur Korniłowicz

Access to full text
Full (PDF)
p. 235-239

The Polish Digital Mathematics Library
Formulation of Cell Petri Nets

Mitsuru Jitsukawa ; Pauline N. Kawamoto ; Yasunari Shidama

Access to full text
Full (PDF)
p. 241-247

The Polish Digital Mathematics Library
Isometric Differentiable Functions on Real Normed Space

Yuichi Futa ; Noboru Endou ; Yasunari Shidama

Access to full text
Full (PDF)
p. 249-260

The Polish Digital Mathematics Library
Differential Equations on Functions from R into Real Banach Space

Keiko Narita ; Noboru Endou ; Yasunari Shidama

Access to full text
Full (PDF)
p. 261-272

The Polish Digital Mathematics Library
Submodule of free Z-module

Yuichi Futa ; Hiroyuki Okazaki ; Yasunari Shidama

Access to full text
Full (PDF)
p. 273-282

The Polish Digital Mathematics Library