#### Filter Results:

- Full text PDF available (1)

#### Publication Year

2007

2009

- This year (0)
- Last 5 years (0)
- Last 10 years (2)

#### Publication Type

#### Co-author

#### Journals and Conferences

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)

- Ryszard Janicki, Ewa Romanowicz
- Software Engineering Research and Practice
- 2009

- ‹
- 1
- ›