Displaying similar documents to “Axial permutations of ω²”

[unknown]

R. C. Entriger (1971)

Gaceta Matemática

Similarity:

Some new facts about group 𝒢 generated by the family of convergent permutations

Roman Wituła, Edyta Hetmaniok, Damian Słota (2017)

Open Mathematics

Similarity:

The aim of this paper is to present some new and essential facts about group 𝒢 generated by the family of convergent permutations, i.e. the permutations on ℕ preserving the convergence of series of real terms. We prove that there exist permutations preserving the sum of series which do not belong to 𝒢. Additionally, we show that there exists a family G (possessing the cardinality equal to continuum) of groups of permutations on ℕ such that each one of these groups is different than...

On the Permanent of a Matrix

Ewa Romanowicz, Adam Grabowski (2006)

Formalized Mathematics

Similarity:

We introduce the notion of a permanent [13] of a square matrix. It is a notion somewhat related to a determinant, so we follow closely the approach and theorems already introduced in the Mizar Mathematical Library for the determinant. Unfortunately, the formalization of the latter notion is at its early stage, so we had to prove many very elementary auxiliary facts.