Forecast of the covid19 epidemic in France
Loïc Pottier
2021
Preprints, Working Papers, ...
hal-03183712v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Ambiguous Typing
Loïc Pottier
[Research Report] RR-6041, INRIA. 2006, pp.11
Reports
inria-00117458v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Grobner bases of toric ideals
Loïc Pottier
[Research Report] RR-2224, INRIA. 1994
Reports
inria-00074446v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Sub-groups of Zn, standard basis, and linear diophantine systems
Loïc Pottier
[Research Report] RR-1510, INRIA. 1991, pp.11
Reports
inria-00075052v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Mathematics and Proof Presentation in Pcoq
Ahmed Amerkad
,
Yves Bertot
,
Loïc Pottier
,
Laurence Rideau
RR-4313, INRIA. 2001
Reports
inria-00072274v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Quotients dans le CCI
Loïc Pottier
RR-4053, INRIA. 2000
Reports
inria-00072584v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Generalisation de termes en theorie equationnelle. Cas associatif-commutatif
Loïc Pottier
[Rapport de recherche] RR-1056, INRIA. 1989, pp.47
Reports
inria-00075503v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Extraction dans le Cci
Loïc Pottier
[Rapport de recherche] RR-4026, INRIA. 2000, pp.13
Reports
inria-00072614v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Proof Certificates for Algebra and their Application to Automatic Geometry Theorem Proving
Loïc Pottier
,
Laurent Théry
Conference papers
inria-00504719v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
É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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Optimization of Positive Generalized Polynomials under $l^p$ Constraints
Laurent Baratchart
,
Marc Berthod
,
Loïc Pottier
RR-2750, INRIA. 1995
Reports
inria-00073942v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Simulation of the covid19 epidemic in France
Loïc Pottier
2020
Preprints, Working Papers, ...
hal-02555718v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Optical formula recognition
Stéphane Lavirotte
,
Loïc Pottier
Conference papers
hal-00564638v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Solutions minimales des systemes diophantiens lineaires : bornes et algorithmes
Loïc Pottier
[Rapport de recherche] RR-1292, INRIA. 1990, pp.10
Reports
inria-00075267v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More