Back to Results
First PageMeta Content
Finite 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 Introduction
Add to Reading List

Document Date: 2015-01-29 08:56:57

Open Document

File Size: 2,12 MB

Share Result on Facebook
UPDATE