First Page | Document Content | |
---|---|---|
Date: 2012-10-10 03:52:00Mathematics Algebra Linear algebra Matrix theory Determinant Summation Leibniz formula for determinants Permanent | Types in mathematical proofs Georges Gonthier Legacy • Interactive theorem provingAdd to Reading ListSource URL: events.inf.ed.ac.ukDownload Document from Source WebsiteFile Size: 1,57 MBShare Document on Facebook |