Sommaire

Several Classes of BCI-algebras and their Properties

Yuzhong Ding

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

The Polish Digital Mathematics Library
Formal Languages - Concatenation and Closure

Michał Trybulec

Access to full text
Full (PDF)
p. 11-15

The Polish Digital Mathematics Library
Basic Properties of Determinants of Square Matrices over a Field 1

Karol Pąk

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

The Polish Digital Mathematics Library
Combinatorial Grassmannians

Andrzej Owsiejczuk

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

The Polish Digital Mathematics Library
The Jordan-Hölder Theorem

Marco Riccardi

Access to full text
Full (PDF)
p. 35-51

The Polish Digital Mathematics Library
Regular Expression Quantifiers - m to n Occurrences

Michał Trybulec

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

The Polish Digital Mathematics Library
Riemann Indefinite Integral of Functions of Real Variable

Yasunari Shidama ; Noboru Endou ; Katsumi Wasaki

Access to full text
Full (PDF)
p. 59-63

The Polish Digital Mathematics Library
Partial Differentiation on Normed Linear Spaces R n

Noboru Endou ; Yasunari Shidama ; Keiichi Miyajima

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

The Polish Digital Mathematics Library
Several Differentiation Formulas of Special Functions. Part V

Peng Wang ; Bo Li

Access to full text
Full (PDF)
p. 73-79

The Polish Digital Mathematics Library
The Product Space of Real Normed Spaces and its Properties

Noboru Endou ; Yasunari Shidama ; Keiichi Miyajima

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

The Polish Digital Mathematics Library
Mizar Analysis of Algorithms: Preliminaries

Grzegorz Bancerek

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

The Polish Digital Mathematics Library
Definition and some Properties of Information Entropy

Bo Zhang ; Yatsuka Nakamura

Access to full text
Full (PDF)
p. 111-119

The Polish Digital Mathematics Library
String Rewriting Systems

Michał Trybulec

Access to full text
Full (PDF)
p. 121-126

The Polish Digital Mathematics Library
Determinant and Inverse of Matrices of Real Elements

Nobuyuki Tamura ; Yatsuka Nakamura

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

The Polish Digital Mathematics Library
The Rank+Nullity Theorem

Jesse Alama

Access to full text
Full (PDF)
p. 137-142

The Polish Digital Mathematics Library
Laplace Expansion

Karol Pak ; Andrzej Trybulec

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

The Polish Digital Mathematics Library
Some Properties of Line and Column Operations on Matrices

Xiquan Liang ; Tao Sun ; Dahai Hu

Access to full text
Full (PDF)
p. 151-157

The Polish Digital Mathematics Library
The Sylow Theorems

Marco Riccardi

Access to full text
Full (PDF)
p. 159-165

The Polish Digital Mathematics Library
Alexandroff One Point Compactification

Czesław Byliński

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

The Polish Digital Mathematics Library
Arrow's Impossibility Theorem

Freek Wiedijk

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

The Polish Digital Mathematics Library
Congruences and Quotient Algebras of BCI-algebras

Yuzhong Ding ; Zhiyong Pang

Access to full text
Full (PDF)
p. 175-180

The Polish Digital Mathematics Library
Linear Congruence Relation and Complete Residue Systems

Xiquan Liang ; Li Yan ; Junjie Zhao

Access to full text
Full (PDF)
p. 181-187

The Polish Digital Mathematics Library
Several Integrability Formulas of Special Functions

Cuiying Peng ; Fuguo Ge ; Xiquan Liang

Access to full text
Full (PDF)
p. 189-198

The Polish Digital Mathematics Library
Basic Properties of the Rank of Matrices over a Field

Karol Pąk

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

The Polish Digital Mathematics Library
Basic Operations on Preordered Coherent Spaces

Klaus Grue ; Artur Korniłowicz

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

The Polish Digital Mathematics Library
Inferior Limit, Superior Limit and Convergence of Sequences of Extended Real Numbers

Hiroshi Yamazaki ; Noboru Endou ; Yasunari Shidama ; Hiroyuki Okazaki

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

The Polish Digital Mathematics Library
Several Classes of BCK-algebras and their Properties

Tao Sun ; Dahai Hu ; Xiquan Liang

Access to full text
Full (PDF)
p. 237-242

The Polish Digital Mathematics Library
Several Differentiation Formulas of Special Functions. Part VI

Bo Li ; Pan Wang

Access to full text
Full (PDF)
p. 243-250

The Polish Digital Mathematics Library