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

Deposit thumbnail

Co-scheduling algorithms for cache-partitioned systems

Guillaume Aupy , Anne Benoit , Loïc Pottier , Padma Raghavan , Yves Robert et al.

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-01654660v1
Deposit thumbnail

Proof Certificates for Algebra and their Application to Automatic Geometry Theorem Proving

Loïc Pottier , Laurent Théry

7th International Workshop, ADG 2008, Sep 2008, Shangai, China. pp.42-59, ⟨10.1007/978-3-642-21046-4_3⟩

Communication dans un congrès istex inria-00504719v1
Deposit thumbnail

Connecting Gröbner Bases Programs with Coq to do Proofs in Algebra, Geometry and Arithmetics

Loïc Pottier

Knowledge Exchange: Automated Provers and Proof Assistants, Nov 2008, Doha, Qatar. pp.418

Communication dans un congrès inria-00504727v1
Deposit thumbnail

Élimination des quantificateurs sur les réels pour Coq

Assia Mahboubi , Loïc Pottier

Journées Francophones des Langages Applicatifs, Jan 2002, Anglet, France

Communication dans un congrès hal-00819482v1
Deposit thumbnail

Optical formula recognition

Stéphane Lavirotte , Loïc Pottier

International Conference on Document Analysis and Recognition, Aug 1997, Ulm, Germany. ⟨10.1109/ICDAR.1997.619871⟩

Communication dans un congrès hal-00564638v2
Deposit thumbnail

On-line handwritten formula recognition using hidden Markov models and context dependent graph grammars

Andreas Kosmala , Gerhard Rigoll , Stéphane Lavirotte , Loïc Pottier

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⟩

Poster de conférence hal-01349212v1

Proof Certificates for Algebra and their Application to Automatic Geometry Theorem Proving

Benjamin Grégoire , Loïc Pottier , Laurent Théry

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⟩

Chapitre d'ouvrage istex hal-01112767v1
Deposit thumbnail

Ambiguous Typing

Loïc Pottier

[Research Report] RR-6041, INRIA. 2006, pp.11

Rapport (rapport de recherche) inria-00117458v2
Deposit thumbnail

Mathematics and Proof Presentation in Pcoq

Ahmed Amerkad , Yves Bertot , Loïc Pottier , Laurence Rideau

RR-4313, INRIA. 2001

Rapport inria-00072274v1
Deposit thumbnail

Quotients dans le CCI

Loïc Pottier

RR-4053, INRIA. 2000

Rapport inria-00072584v1
Deposit thumbnail

Extraction dans le Cci

Loïc Pottier

[Rapport de recherche] RR-4026, INRIA. 2000, pp.13

Rapport (rapport de recherche) inria-00072614v1
Deposit thumbnail

Graphes de dépendance pour les démonstrateurs de théorèmes intéractifs

Yves Bertot , Olivier Pons , Loïc Pottier

RR-4052, INRIA. 2000

Rapport inria-00072585v1
Deposit thumbnail

Optimal Time and Minimum Space-Time Product for Reversing a Certain Class of Programs

José Grimm , Loïc Pottier , Nicole Rostaing-Schmidt

RR-2794, INRIA. 1996

Rapport inria-00073896v1
Deposit thumbnail

Optimization of Positive Generalized Polynomials under $l^p$ Constraints

Laurent Baratchart , Marc Berthod , Loïc Pottier

RR-2750, INRIA. 1995

Rapport inria-00073942v1
Deposit thumbnail

Grobner bases of toric ideals

Loïc Pottier

[Research Report] RR-2224, INRIA. 1994

Rapport (rapport de recherche) inria-00074446v1
Deposit thumbnail

Sub-groups of Zn, standard basis, and linear diophantine systems

Loïc Pottier

[Research Report] RR-1510, INRIA. 1991, pp.11

Rapport (rapport de recherche) inria-00075052v1
Deposit thumbnail

Solutions minimales des systemes diophantiens lineaires : bornes et algorithmes

Loïc Pottier

[Rapport de recherche] RR-1292, INRIA. 1990, pp.10

Rapport (rapport de recherche) inria-00075267v1
Deposit thumbnail

Generalisation de termes en theorie equationnelle. Cas associatif-commutatif

Loïc Pottier

[Rapport de recherche] RR-1056, INRIA. 1989, pp.47

Rapport (rapport de recherche) inria-00075503v1