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
1671991
Optical formula recognition
S Lavirotte, L Pottier
Proceedings of the Fourth International Conference on Document Analysis and …, 1997
711997
Optimal time and minimum space-time product for reversing a certain class of programs
J Grimm, L Pottier, N Rostaing-Schmidt
671996
Mathematical formula recognition using graph grammar
S Lavirotte, L Pottier
Document Recognition V 3305, 44-52, 1998
621998
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
601999
Mathematics and proof presentation in Pcoq
A Amerkad, Y Bertot, L Pottier, L Rideau
372001
The Euclidean algorithm in dimension n
L Pottier
Proceedings of the 1996 international symposium on Symbolic and algebraic …, 1996
371996
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
332008
Connecting Gr\" obner Bases Programs with Coq to do Proofs in Algebra, Geometry and Arithmetics
L Pottier
arXiv preprint arXiv:1007.3615, 2010
292010
Mathematical quotients and quotient types in Coq
L Chicli, L Pottier, C Simpson
International Workshop on Types for Proofs and Programs, 95-107, 2002
292002
Visualizing geometrical statements with GeoView
Y Bertot, F Guilhot, L Pottier
Electronic Notes in Theoretical Computer Science 103, 49-65, 2004
262004
Optimization of Positive Generalized Polynomials under l^ p Constraints
L Baratchart, M Berthod, L Pottier
RAPPORT DE RECHERCHE-INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN …, 1995
241995
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
151990
Grobner bases of toric ideals
L Pottier
131994
Generalisation de termes en theorie equationnelle. Cas associatif-commutatif
L Pottier
121989
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
101988
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
92017
Algorithmes de complétion et généralisation en logique du premier ordre
L Pottier
Nice, 1989
81989
Gr obner bases of toric ideals: properties, algorithms, and applications
C Moulinet, L Pottier
preprint, INRIA Sophia Antipolis, 1997
71997
The system can't perform the operation now. Try again later.
Articles 1–20