Leibniz formula for determinants
Results: 1
| # | Item |
|---|---|
1 | Types in mathematical proofs Georges Gonthier Legacy • Interactive theorem provingAdd to Reading ListSource URL: events.inf.ed.ac.ukLanguage: English - Date: 2012-10-10 03:52:00 |
Leibniz formula for determinants
Results: 1
| # | Item |
|---|---|
| 1 | Types in mathematical proofs Georges Gonthier Legacy • Interactive theorem provingAdd to Reading ListSource URL: events.inf.ed.ac.ukLanguage: English - Date: 2012-10-10 03:52:00 |