Skip to Main content
Number of documents

20

CV


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/

 


Conference papers5 documents

  • Guillaume Aupy, Anne Benoit, Loïc Pottier, Padma Raghavan, Yves Robert, et al.. 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⟩. ⟨hal-01654660⟩
  • Loïc Pottier, Laurent Théry. Proof Certificates for Algebra and their Application to Automatic Geometry Theorem Proving. 7th International Workshop, ADG 2008, Sep 2008, Shangai, China. pp.42-59, ⟨10.1007/978-3-642-21046-4_3⟩. ⟨inria-00504719⟩
  • Loïc Pottier. Connecting Gröbner Bases Programs with Coq to do Proofs in Algebra, Geometry and Arithmetics. Knowledge Exchange: Automated Provers and Proof Assistants, Nov 2008, Doha, Qatar. pp.418. ⟨inria-00504727⟩
  • Assia Mahboubi, Loïc Pottier. Élimination des quantificateurs sur les réels pour Coq. Journées Francophones des Langages Applicatifs, Jan 2002, Anglet, France. ⟨hal-00819482⟩
  • Stéphane Lavirotte, Loïc Pottier. Optical formula recognition. International Conference on Document Analysis and Recognition, Aug 1997, Ulm, Germany. ⟨10.1109/ICDAR.1997.619871⟩. ⟨hal-00564638v2⟩

Poster communications1 document

  • Andreas Kosmala, Gerhard Rigoll, Stéphane Lavirotte, Loïc Pottier. On-line handwritten formula recognition using hidden Markov models and context dependent graph grammars. International 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⟩. ⟨hal-01349212⟩

Book sections1 document

  • Benjamin Grégoire, Loïc Pottier, Laurent Théry. Proof Certificates for Algebra and their Application to Automatic Geometry Theorem Proving. Thomas 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⟩. ⟨hal-01112767⟩

Preprints, Working Papers, ...2 documents

Reports11 documents

  • Loïc Pottier. Ambiguous Typing. [Research Report] RR-6041, INRIA. 2006, pp.11. ⟨inria-00117458v2⟩
  • Ahmed Amerkad, Yves Bertot, Loïc Pottier, Laurence Rideau. Mathematics and Proof Presentation in Pcoq. RR-4313, INRIA. 2001. ⟨inria-00072274⟩
  • Loïc Pottier. Extraction dans le Cci. [Rapport de recherche] RR-4026, INRIA. 2000, pp.13. ⟨inria-00072614⟩
  • Loïc Pottier. Quotients dans le CCI. RR-4053, INRIA. 2000. ⟨inria-00072584⟩
  • Yves Bertot, Olivier Pons, Loïc Pottier. Graphes de dépendance pour les démonstrateurs de théorèmes intéractifs. RR-4052, INRIA. 2000. ⟨inria-00072585⟩
  • José Grimm, Loïc Pottier, Nicole Rostaing-Schmidt. Optimal Time and Minimum Space-Time Product for Reversing a Certain Class of Programs. RR-2794, INRIA. 1996. ⟨inria-00073896⟩
  • Laurent Baratchart, Marc Berthod, Loïc Pottier. Optimization of Positive Generalized Polynomials under $l^p$ Constraints. RR-2750, INRIA. 1995. ⟨inria-00073942⟩
  • Loïc Pottier. Grobner bases of toric ideals. [Research Report] RR-2224, INRIA. 1994. ⟨inria-00074446⟩
  • Loïc Pottier. Sub-groups of Zn, standard basis, and linear diophantine systems. [Research Report] RR-1510, INRIA. 1991, pp.11. ⟨inria-00075052⟩
  • Loïc Pottier. Solutions minimales des systemes diophantiens lineaires : bornes et algorithmes. [Rapport de recherche] RR-1292, INRIA. 1990, pp.10. ⟨inria-00075267⟩
  • Loïc Pottier. Generalisation de termes en theorie equationnelle. Cas associatif-commutatif. [Rapport de recherche] RR-1056, INRIA. 1989, pp.47. ⟨inria-00075503⟩