Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

20 Results
authIdHal_s : loic-pottier
Image document

Forecast of the covid19 epidemic in France

Loïc Pottier
2021
Preprints, Working Papers, ... hal-03183712v2
Image document

Ambiguous Typing

Loïc Pottier
[Research Report] RR-6041, INRIA. 2006, pp.11
Reports inria-00117458v2
Image document

Grobner bases of toric ideals

Loïc Pottier
[Research Report] RR-2224, INRIA. 1994
Reports inria-00074446v1
Image document

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

Loïc Pottier
[Research Report] RR-1510, INRIA. 1991, pp.11
Reports inria-00075052v1
Image document

Mathematics and Proof Presentation in Pcoq

Ahmed Amerkad , Yves Bertot , Loïc Pottier , Laurence Rideau
RR-4313, INRIA. 2001
Reports inria-00072274v1
Image document

Quotients dans le CCI

Loïc Pottier
RR-4053, INRIA. 2000
Reports inria-00072584v1
Image document

Generalisation de termes en theorie equationnelle. Cas associatif-commutatif

Loïc Pottier
[Rapport de recherche] RR-1056, INRIA. 1989, pp.47
Reports inria-00075503v1
Image document

Extraction dans le Cci

Loïc Pottier
[Rapport de recherche] RR-4026, INRIA. 2000, pp.13
Reports inria-00072614v1
Image document

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⟩
Conference papers inria-00504719v1

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⟩
Book sections hal-01112767v1
Image document

Élimination des quantificateurs sur les réels pour Coq

Assia Mahboubi , Loïc Pottier
Journées Francophones des Langages Applicatifs, Jan 2002, Anglet, France
Conference papers hal-00819482v1
Image document

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

Laurent Baratchart , Marc Berthod , Loïc Pottier
RR-2750, INRIA. 1995
Reports inria-00073942v1
Image document

Simulation of the covid19 epidemic in France

Loïc Pottier
2020
Preprints, Working Papers, ... hal-02555718v2
Image document

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
Reports inria-00072585v1
Image document

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⟩
Conference papers hal-01654660v1
Image document

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⟩
Conference papers hal-00564638v2
Image document

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 communications hal-01349212v1
Image document

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
Conference papers inria-00504727v1
Image document

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
Reports inria-00073896v1
Image document

Solutions minimales des systemes diophantiens lineaires : bornes et algorithmes

Loïc Pottier
[Rapport de recherche] RR-1292, INRIA. 1990, pp.10
Reports inria-00075267v1