Loïc Pottier
Présentation
HDR (informatique) 2003 Doctorat (informatique) 1989 Chercheur INRIA 1989-2012, responsable de projet INRIA (2000-2005), enseignant Université de Nice 1985-2012 (maths, info) Professeur de mathématiques CPGE LIV 2012- Publications: voir mon ancienne page web: http://www-sop.inria.fr/lemme/Loic.Pottier/
Publications
Publications
|
|
Co-scheduling algorithms for cache-partitioned systemsAPDCM 2017 - 19th Workshop on Advances in Parallel and Distributed Computational Models, May 2017, Orlando (FL), United States. pp.1-10, ⟨10.1109/IPDPSW.2017.60⟩ |
|
|
Proof Certificates for Algebra and their Application to Automatic Geometry Theorem Proving7th International Workshop, ADG 2008, Sep 2008, Shangai, China. pp.42-59, ⟨10.1007/978-3-642-21046-4_3⟩ |
|
|
Connecting Gröbner Bases Programs with Coq to do Proofs in Algebra, Geometry and ArithmeticsKnowledge Exchange: Automated Provers and Proof Assistants, Nov 2008, Doha, Qatar. pp.418 |
|
|
Élimination des quantificateurs sur les réels pour CoqJournées Francophones des Langages Applicatifs, Jan 2002, Anglet, France |
|
|
Optical formula recognitionInternational Conference on Document Analysis and Recognition, Aug 1997, Ulm, Germany. ⟨10.1109/ICDAR.1997.619871⟩ |
|
|
On-line handwritten formula recognition using hidden Markov models and context dependent graph grammarsInternational Conference on Document Analysis and Recognition, Sep 1999, Bangalore, India. 1999, Proceeding of the Fifth International Conference on Document Analysis and Recognition. ⟨10.1109/ICDAR.1999.791736⟩ |
Proof Certificates for Algebra and their Application to Automatic Geometry Theorem ProvingThomas Sturm; Christoph Zengler. Automated Deduction in Geometry, 6301, Springer, pp.42-59, 2011, Lecture Notes in Computer Science, 978-3-642-21045-7. ⟨10.1007/978-3-642-21046-4_3⟩ |
|
|
Forecast of the covid19 epidemic in France2021 |
|
|
Simulation of the covid19 epidemic in France2020 |