A Machine-Checked Proof of the Odd Order Theorem. Gonthier, G., Asperti, A., Avigad, J., Bertot, Y., Cohen, C., Garillot, F., 0001, S. L. R., Mahboubi, A., O'Connor, R., Biha, S. O., Pasca, I., Rideau, L., Solovyev, A., Tassi, E., & Théry, L. In Blazy, S., Paulin-Mohring, C., & Pichardie, D., editors, ITP, volume 7998, of Lecture Notes in Computer Science, pages 163-179, 2013. Springer.
Link
Paper bibtex @inproceedings{conf/itp/GonthierAABCGRMOBPRSTT13,
added-at = {2015-03-17T00:00:00.000+0100},
author = {Gonthier, Georges and Asperti, Andrea and Avigad, Jeremy and Bertot, Yves and Cohen, Cyril and Garillot, François and 0001, Stéphane Le Roux and Mahboubi, Assia and O'Connor, Russell and Biha, Sidi Ould and Pasca, Ioana and Rideau, Laurence and Solovyev, Alexey and Tassi, Enrico and Théry, Laurent},
biburl = {http://www.bibsonomy.org/bibtex/2571e11dbec25d4919f7038fb79e7a111/dblp},
booktitle = {ITP},
crossref = {conf/itp/2013},
editor = {Blazy, Sandrine and Paulin-Mohring, Christine and Pichardie, David},
ee = {http://dx.doi.org/10.1007/978-3-642-39634-2_14},
interhash = {7f4535cd3240148164ec0e0dd99b4bcd},
intrahash = {571e11dbec25d4919f7038fb79e7a111},
isbn = {978-3-642-39633-5},
keywords = {dblp},
pages = {163-179},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2015-06-21T07:06:19.000+0200},
title = {A Machine-Checked Proof of the Odd Order Theorem.},
url = {http://dblp.uni-trier.de/db/conf/itp/itp2013.html#GonthierAABCGRMOBPRSTT13},
volume = 7998,
year = 2013
}
Downloads: 0
{"_id":"vGub3vKsALdhzR4k9","bibbaseid":"gonthier-asperti-avigad-bertot-cohen-garillot-0001-mahboubi-etal-amachinecheckedproofoftheoddordertheorem-2013","downloads":0,"creationDate":"2015-12-18T06:38:10.467Z","title":"A Machine-Checked Proof of the Odd Order Theorem.","author_short":["Gonthier, G.","Asperti, A.","Avigad, J.","Bertot, Y.","Cohen, C.","Garillot, F.","0001, S. L. R.","Mahboubi, A.","O'Connor, R.","Biha, S. O.","Pasca, I.","Rideau, L.","Solovyev, A.","Tassi, E.","Théry, L."],"year":2013,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/cohen?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2015-03-17T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Gonthier"],"firstnames":["Georges"],"suffixes":[]},{"propositions":[],"lastnames":["Asperti"],"firstnames":["Andrea"],"suffixes":[]},{"propositions":[],"lastnames":["Avigad"],"firstnames":["Jeremy"],"suffixes":[]},{"propositions":[],"lastnames":["Bertot"],"firstnames":["Yves"],"suffixes":[]},{"propositions":[],"lastnames":["Cohen"],"firstnames":["Cyril"],"suffixes":[]},{"propositions":[],"lastnames":["Garillot"],"firstnames":["François"],"suffixes":[]},{"propositions":[],"lastnames":["0001"],"firstnames":["Stéphane","Le","Roux"],"suffixes":[]},{"propositions":[],"lastnames":["Mahboubi"],"firstnames":["Assia"],"suffixes":[]},{"propositions":[],"lastnames":["O'Connor"],"firstnames":["Russell"],"suffixes":[]},{"propositions":[],"lastnames":["Biha"],"firstnames":["Sidi","Ould"],"suffixes":[]},{"propositions":[],"lastnames":["Pasca"],"firstnames":["Ioana"],"suffixes":[]},{"propositions":[],"lastnames":["Rideau"],"firstnames":["Laurence"],"suffixes":[]},{"propositions":[],"lastnames":["Solovyev"],"firstnames":["Alexey"],"suffixes":[]},{"propositions":[],"lastnames":["Tassi"],"firstnames":["Enrico"],"suffixes":[]},{"propositions":[],"lastnames":["Théry"],"firstnames":["Laurent"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/2571e11dbec25d4919f7038fb79e7a111/dblp","booktitle":"ITP","crossref":"conf/itp/2013","editor":[{"propositions":[],"lastnames":["Blazy"],"firstnames":["Sandrine"],"suffixes":[]},{"propositions":[],"lastnames":["Paulin-Mohring"],"firstnames":["Christine"],"suffixes":[]},{"propositions":[],"lastnames":["Pichardie"],"firstnames":["David"],"suffixes":[]}],"ee":"http://dx.doi.org/10.1007/978-3-642-39634-2_14","interhash":"7f4535cd3240148164ec0e0dd99b4bcd","intrahash":"571e11dbec25d4919f7038fb79e7a111","isbn":"978-3-642-39633-5","keywords":"dblp","pages":"163-179","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2015-06-21T07:06:19.000+0200","title":"A Machine-Checked Proof of the Odd Order Theorem.","url":"http://dblp.uni-trier.de/db/conf/itp/itp2013.html#GonthierAABCGRMOBPRSTT13","volume":"7998","year":"2013","bibtex":"@inproceedings{conf/itp/GonthierAABCGRMOBPRSTT13,\n added-at = {2015-03-17T00:00:00.000+0100},\n author = {Gonthier, Georges and Asperti, Andrea and Avigad, Jeremy and Bertot, Yves and Cohen, Cyril and Garillot, François and 0001, Stéphane Le Roux and Mahboubi, Assia and O'Connor, Russell and Biha, Sidi Ould and Pasca, Ioana and Rideau, Laurence and Solovyev, Alexey and Tassi, Enrico and Théry, Laurent},\n biburl = {http://www.bibsonomy.org/bibtex/2571e11dbec25d4919f7038fb79e7a111/dblp},\n booktitle = {ITP},\n crossref = {conf/itp/2013},\n editor = {Blazy, Sandrine and Paulin-Mohring, Christine and Pichardie, David},\n ee = {http://dx.doi.org/10.1007/978-3-642-39634-2_14},\n interhash = {7f4535cd3240148164ec0e0dd99b4bcd},\n intrahash = {571e11dbec25d4919f7038fb79e7a111},\n isbn = {978-3-642-39633-5},\n keywords = {dblp},\n pages = {163-179},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2015-06-21T07:06:19.000+0200},\n title = {A Machine-Checked Proof of the Odd Order Theorem.},\n url = {http://dblp.uni-trier.de/db/conf/itp/itp2013.html#GonthierAABCGRMOBPRSTT13},\n volume = 7998,\n year = 2013\n}\n\n","author_short":["Gonthier, G.","Asperti, A.","Avigad, J.","Bertot, Y.","Cohen, C.","Garillot, F.","0001, S. L. R.","Mahboubi, A.","O'Connor, R.","Biha, S. O.","Pasca, I.","Rideau, L.","Solovyev, A.","Tassi, E.","Théry, L."],"editor_short":["Blazy, S.","Paulin-Mohring, C.","Pichardie, D."],"key":"conf/itp/GonthierAABCGRMOBPRSTT13","id":"conf/itp/GonthierAABCGRMOBPRSTT13","bibbaseid":"gonthier-asperti-avigad-bertot-cohen-garillot-0001-mahboubi-etal-amachinecheckedproofoftheoddordertheorem-2013","role":"author","urls":{"Link":"http://dx.doi.org/10.1007/978-3-642-39634-2_14","Paper":"http://dblp.uni-trier.de/db/conf/itp/itp2013.html#GonthierAABCGRMOBPRSTT13"},"keyword":["dblp"],"downloads":0},"search_terms":["machine","checked","proof","odd","order","theorem","gonthier","asperti","avigad","bertot","cohen","garillot","0001","mahboubi","o'connor","biha","pasca","rideau","solovyev","tassi","théry"],"keywords":["dblp"],"authorIDs":[],"dataSources":["DY7iBA8E4Z4ZyQgtk"]}