TOPIC_COQAPPLI.bib

@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.