<--- Back to Details
| 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 |
Add to Reading List |
Scientific ReportMicrosoft Research-Inria Joint Centre www.msr-inria.inria.fr Introduction | POST QUANTUM CRYPTOGRAPHY – WIDENING THE SEARCH Michael Collins University of OxfordDocID: 14kt5 - View Document |
| Scientific ReportMicrosoft Research-Inria Joint Centre www.msr-inria.inria.fr IntroductionDocID: 13cuo - View Document |
| Monograf´ıas de la Real Academia de Ciencias de Zaragoza. 26: 89–104, ([removed]The Classification of the Finite Simple Groups: An Overview ∗ Javier Otal †DocID: QzDT - View Document |
| BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 38, Number 3, Pages 315–352 S[removed][removed]Article electronically published on March 27, 2001DocID: QzmU - View Document |
| Proceedings of the International Congress of Mathematicians Helsinki, 1978DocID: 4pEV - View Document |