Ewa Romanowicz

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
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(More)
  • 1