Loïc Pottier
Loïc Pottier
professeur en CPGE (2012-), chercheur, INRIA Sophia Antipolis (1985-2012)
Verified email at inria.fr
Title
Cited by
Cited by
Year
Minimal solutions of linear diophantine systems: bounds and algorithms
L Pottier
International Conference on Rewriting Techniques and Applications, 162-173, 1991
1741991
Mathematical formula recognition using graph grammar
S Lavirotte, L Pottier
Document Recognition V 3305, 44-52, 1998
761998
Optical formula recognition
S Lavirotte, L Pottier
Proceedings of the Fourth International Conference on Document Analysis and …, 1997
761997
Optimal time and minimum space-time product for reversing a certain class of programs
J Grimm, L Pottier, N Rostaing-Schmidt
INRIA, 1996
681996
On-line handwritten formula recognition using hidden Markov models and context dependent graph grammars
A Kosmala, G Rigoll, S Lavirotte, L Pottier
Proceedings of the Fifth International Conference on Document Analysis and …, 1999
641999
Mathematics and proof presentation in Pcoq
A Amerkad, Y Bertot, L Pottier, L Rideau
INRIA, 2001
392001
The Euclidean algorithm in dimension n
L Pottier
Proceedings of the 1996 international symposium on Symbolic and algebraic …, 1996
391996
Proof certificates for algebra and their application to automatic geometry theorem proving
B Grégoire, L Pottier, L Théry
International Workshop on Automated Deduction in Geometry, 42-59, 2008
362008
Connecting Gr\" obner Bases Programs with Coq to do Proofs in Algebra, Geometry and Arithmetics
L Pottier
arXiv preprint arXiv:1007.3615, 2010
322010
Mathematical quotients and quotient types in Coq
L Chicli, L Pottier, C Simpson
International Workshop on Types for Proofs and Programs, 95-107, 2002
312002
Visualizing geometrical statements with GeoView
Y Bertot, F Guilhot, L Pottier
Electronic Notes in Theoretical Computer Science 103, 49-65, 2004
272004
Optimization of positive generalized polynomials under constraints.
L Baratchart, M Berthod, L Pottier
Journal of Convex Analysis 5 (2), 353-379, 1998
231998
Bornes et algorithme de calcul des générateurs des solutions de systèmes diophantiens linéaires
L Pottier
Comptes rendus de l'Académie des sciences. Série 1, Mathématique 311 (12 …, 1990
161990
Stress measurements by multi-reflection grazing-incidence X-ray diffraction method (MGIXD) using different radiation wavelengths and different incident angles
M Marciszko, A Baczmański, C Braham, M Wróbel, S Wroński, G Cios
Acta Materialia 123, 157-166, 2017
142017
Generalisation de termes en theorie equationnelle
L Pottier
Cas associatif-commutatif. Rapport de recherche RR-1056, INRIA 19, 1989
141989
Generalisation de termes en theorie equationnelle. Cas associatif-commutatif
L Pottier
INRIA, 1989
121989
Co-scheduling HPC workloads on cache-partitioned CMP platforms
G Aupy, A Benoit, B Goglin, L Pottier, Y Robert
The International Journal of High Performance Computing Applications 33 (6 …, 2019
102019
Gröbner bases of toric ideals
L Pottier
101994
The design of SISYPHE: a system for doing symbolic and algebraic computations
A Galligo, J Grimm, L Pottier
International Symposium on Design and Implementation of Symbolic Computation …, 1990
101990
Greater easy common divisor and standard basis completion algorithms
A Galligo, L Pottier, C Traverso
International Symposium on Symbolic and Algebraic Computation, 162-176, 1988
91988
The system can't perform the operation now. Try again later.
Articles 1–20