
Loïc Pottier
20
Documents
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 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⟩
Communication dans un congrès
hal-01654660
v1
|
|
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⟩
Communication dans un congrès
inria-00504719
v1
|
|
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
Communication dans un congrès
inria-00504727
v1
|
|
Élimination des quantificateurs sur les réels pour CoqJournées Francophones des Langages Applicatifs, Jan 2002, Anglet, France
Communication dans un congrès
hal-00819482
v1
|
|
Optical formula recognitionInternational Conference on Document Analysis and Recognition, Aug 1997, Ulm, Germany. ⟨10.1109/ICDAR.1997.619871⟩
Communication dans un congrès
hal-00564638
v2
|
|
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⟩
Poster de conférence
hal-01349212
v1
|
|
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⟩
Chapitre d'ouvrage
hal-01112767
v1
|
|
Forecast of the covid19 epidemic in France2021
Pré-publication, Document de travail
hal-03183712
v2
|
|
Simulation of the covid19 epidemic in France2020
Pré-publication, Document de travail
hal-02555718
v2
|
Chargement...
Chargement...