Documentation
Français (FR)

Anglais (EN)

Loïc Pottier

20

Documents

Présentation

Publications

	Co-scheduling algorithms for cache-partitioned systems Guillaume Aupy , Anne Benoit , Loïc Pottier , Padma Raghavan , Yves Robert 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
	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
	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 inria-00504719v1
	É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
	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

	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 hal-01112767v1

	Forecast of the covid19 epidemic in France Loïc Pottier 2021 Pré-publication, Document de travail hal-03183712v2
	Simulation of the covid19 epidemic in France Loïc Pottier 2020 Pré-publication, Document de travail hal-02555718v2

	Ambiguous Typing Loïc Pottier [Research Report] RR-6041, INRIA. 2006, pp.11 Rapport inria-00117458v2
	Mathematics and Proof Presentation in Pcoq Ahmed Amerkad , Yves Bertot , Loïc Pottier , Laurence Rideau RR-4313, INRIA. 2001 Rapport inria-00072274v1
	Quotients dans le CCI Loïc Pottier RR-4053, INRIA. 2000 Rapport inria-00072584v1
	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
	Extraction dans le Cci Loïc Pottier [Rapport de recherche] RR-4026, INRIA. 2000, pp.13 Rapport inria-00072614v1
	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
	Optimization of Positive Generalized Polynomials under $l^p$ Constraints Laurent Baratchart , Marc Berthod , Loïc Pottier RR-2750, INRIA. 1995 Rapport inria-00073942v1
	Grobner bases of toric ideals Loïc Pottier [Research Report] RR-2224, INRIA. 1994 Rapport inria-00074446v1
	Sub-groups of Zn, standard basis, and linear diophantine systems Loïc Pottier [Research Report] RR-1510, INRIA. 1991, pp.11 Rapport inria-00075052v1
	Solutions minimales des systemes diophantiens lineaires : bornes et algorithmes Loïc Pottier [Rapport de recherche] RR-1292, INRIA. 1990, pp.10 Rapport inria-00075267v1
	Generalisation de termes en theorie equationnelle. Cas associatif-commutatif Loïc Pottier [Rapport de recherche] RR-1056, INRIA. 1989, pp.47 Rapport inria-00075503v1