Displaying similar documents to “The size of Fulton's essential set.”

Growth rates for subclasses of Av(321).

Albert, M.H., Atkinson, M.D., Brignall, R., Ruškuc, N., Smith, Rebecca, West, J. (2010)

The Electronic Journal of Combinatorics [electronic only]

Similarity:

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.