<--- 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 †](https://www.pdfsearch.io/img/b76740c2cece043380668de820570748.jpg "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 †") | 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, 2001](https://www.pdfsearch.io/img/a527cfc90edb3861e0a3331cb3b89eb9.jpg "BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 38, Number 3, Pages 315–352 S[removed][removed]Article electronically published on March 27, 2001") | 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 |