@comment{{This file has been generated by bib2bib 1.97}}
@comment{{Command line: bib2bib --expand-xrefs -oc Publi/TOPIC_COQAPPLI.cite -ob Publi/TOPIC_COQAPPLI.bib -c topic="COQAPPLI" -c !topic="NOCITE" Publi/bibdata.bib}}
@inproceedings{DBLP:conf/adg/GregoirePT08, author = {Benjamin Gr{\'e}goire and Lo\"{\i}c Pottier and Laurent Th{\'e}ry}, title = {Proof Certificates for Algebra and Their Application to Automatic Geometry Theorem Proving}, booktitle = {Automated Deduction in Geometry - 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers}, pages = {42-59}, ee = {http://dx.doi.org/10.1007/978-3-642-21046-4_3}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {6301}, year = {2011}, isbn = {978-3-642-21045-7}, bibsource = {DBLP, http://dblp.uni-trier.de}, topic = {COQAPPLI} }
@inproceedings{AGT10ITP, author = {Micha{\"e}l Armand and Benjamin Gr{\'e}goire and Arnaud Spiwack and Laurent Th{\'ery}}, title = {Extending Coq with Imperative Features and its Application to SAT Verication}, booktitle = {Interactive Theorem Proving, international Conference, ITP 2010, Edinburgh, Scotland, July 11-14, 2010, Proceedings}, year = {2010}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, topic = {COQAPPLI} }
@inproceedings{GreTW06, author = {Benjamin Gr{\'e}goire and Laurent Th{\'e}ry and Benjamin Werner}, title = {A Computational Approach to Pocklington Certificates in Type Theory}, booktitle = {Functional and Logic Programming, 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings}, year = {2006}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {3945}, pages = {97-113}, topic = {COQAPPLI} }
@inproceedings{GreT06, author = {Benjamin Gr{\'e}goire and Laurent Th{\'e}ry}, title = {A Purely Functional Library for Modular Arithmetic and Its Application to Certifying Large Prime Numbers}, booktitle = {Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {4130}, year = {2006}, pages = {423-437}, topic = {COQAPPLI} }
@inproceedings{GregM05, author = {Benjamin Gr{\'e}goire and Assia Mahboubi}, title = {Proving Equalities in a Commutative Ring Done Right in Coq}, booktitle = {Theorem Proving in Higher Order Logics, 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings}, year = {2005}, pages = {98-113}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {3603}, topic = {COQAPPLI} }
This file was generated by bibtex2html 1.97.