First Page | Document Content | |
---|---|---|
Date: 2015-01-29 08:56:57Finite groups Metalogic Mathematical logic Mathematical proofs Coq Feit–Thompson theorem Proof assistant Dade isometry Fundamental theorem of algebra Mathematics Abstract algebra Algebra | Scientific ReportMicrosoft Research-Inria Joint Centre www.msr-inria.inria.fr IntroductionAdd to Reading ListSource URL: www.msr-inria.frDownload Document from Source WebsiteFile Size: 2,12 MBShare Document on Facebook |