A Machine-Checked Proof of the Odd Order Theorem - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Georges Gonthier, Andrea Asperti, Jeremy Avigad, Yves Bertot, Cyril Cohen, François Garillot, Stéphane Le Roux, Assia Mahboubi, Russell O'Connor, Sidi Ould Biha, Ioana Pasca, Laurence Rideau, Alexey Solovyev, Enrico Tassi, Laurent Théry. A Machine-Checked Proof of the Odd Order Theorem. In Sandrine Blazy, Christine Paulin-Mohring, David Pichardie, editors, Interactive Theorem Proving - 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings. Volume 7998 of Lecture Notes in Computer Science, pages 163-179, Springer, 2013. [doi]

This author has not been identified. Look up 'Georges Gonthier' in GoogleThis author has not been identified. Look up 'Andrea Asperti' in GoogleThis author has not been identified. Look up 'Jeremy Avigad' in GoogleThis author has not been identified. Look up 'Yves Bertot' in GoogleThis author has not been identified. Look up 'Cyril Cohen' in GoogleThis author has not been identified. It may be one of the following persons:

François Garillot

Look up 'François Garillot' in GoogleThis author has not been identified. Look up 'Stéphane Le Roux' in GoogleThis author has not been identified. Look up 'Assia Mahboubi' in GoogleThis author has not been identified. Look up 'Russell O'Connor' in GoogleThis author has not been identified. Look up 'Sidi Ould Biha' in GoogleThis author has not been identified. Look up 'Ioana Pasca' in GoogleThis author has not been identified. Look up 'Laurence Rideau' in GoogleThis author has not been identified. Look up 'Alexey Solovyev' in GoogleThis author has not been identified. Look up 'Enrico Tassi' in GoogleThis author has not been identified. Look up 'Laurent Théry' in Google

runs on WebDSL