Loïc Pottier
20
Documents
Presentation
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
|
Co-scheduling algorithms for cache-partitioned systems APDCM 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⟩
Conference papers
hal-01654660v1
|
|
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⟩
Conference papers
inria-00504719v1
|
|
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
Conference papers
inria-00504727v1
|
|
Élimination des quantificateurs sur les réels pour CoqJournées Francophones des Langages Applicatifs, Jan 2002, Anglet, France
Conference papers
hal-00819482v1
|
|
Optical formula recognitionInternational Conference on Document Analysis and Recognition, Aug 1997, Ulm, Germany. ⟨10.1109/ICDAR.1997.619871⟩
Conference papers
hal-00564638v2
|
|
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⟩
Conference poster
hal-01349212v1
|
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⟩
Book sections
hal-01112767v1
|
|
Forecast of the covid19 epidemic in France2021
Preprints, Working Papers, ...
hal-03183712v2
|
|
Simulation of the covid19 epidemic in France2020
Preprints, Working Papers, ...
hal-02555718v2
|