Pattern avoidance in partial permutations.
Claesson, Anders, Jelínek, Vít, Jelínkova, Eva, Kitaev, Sergey (2011)
The Electronic Journal of Combinatorics [electronic only]
Similarity:
Claesson, Anders, Jelínek, Vít, Jelínkova, Eva, Kitaev, Sergey (2011)
The Electronic Journal of Combinatorics [electronic only]
Similarity:
Smith, Rebecca (2006)
The Electronic Journal of Combinatorics [electronic only]
Similarity:
Kitaev, Sergey, Mansour, Toufik, Vella, Antoine (2005)
Journal of Integer Sequences [electronic only]
Similarity:
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.
Wilf, Herbert S. (2004)
The Electronic Journal of Combinatorics [electronic only]
Similarity:
Coleman, Micah (2004)
The Electronic Journal of Combinatorics [electronic only]
Similarity:
Bóna, Miklós (1998)
The Electronic Journal of Combinatorics [electronic only]
Similarity:
Albert, M.H., Atkinson, M.D., Brignall, R., Ruškuc, N., Smith, Rebecca, West, J. (2010)
The Electronic Journal of Combinatorics [electronic only]
Similarity:
Eriksson, Kimmo, Linusson, Svante (1995)
The Electronic Journal of Combinatorics [electronic only]
Similarity:
Mullen, Gary L. (1981)
International Journal of Mathematics and Mathematical Sciences
Similarity:
Canary, Hal (2010)
The Electronic Journal of Combinatorics [electronic only]
Similarity:
Atkinson, M.D. (1998)
The Electronic Journal of Combinatorics [electronic only]
Similarity:
Raykova, Mariana (2006)
The Electronic Journal of Combinatorics [electronic only]
Similarity: