Minimal solutions of linear diophantine systems: bounds and algorithms L Pottier International Conference on Rewriting Techniques and Applications, 162-173, 1991 | 177 | 1991 |

Optical formula recognition S Lavirotte, L Pottier Proceedings of the Fourth International Conference on Document Analysis and …, 1997 | 78 | 1997 |

Mathematical formula recognition using graph grammar S Lavirotte, L Pottier Document Recognition V 3305, 44-52, 1998 | 75 | 1998 |

Optimal time and minimum space-time product for reversing a certain class of programs J Grimm, L Pottier, N Rostaing-Schmidt INRIA, 1996 | 68 | 1996 |

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 | 63 | 1999 |

Mathematics and proof presentation in Pcoq A Amerkad, Y Bertot, L Pottier, L Rideau INRIA, 2001 | 39 | 2001 |

The Euclidean algorithm in dimension *n*L Pottier Proceedings of the 1996 international symposium on Symbolic and algebraic …, 1996 | 39 | 1996 |

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 | 36 | 2008 |

Connecting Gr\" obner Bases Programs with Coq to do Proofs in Algebra, Geometry and Arithmetics L Pottier arXiv preprint arXiv:1007.3615, 2010 | 32 | 2010 |

Mathematical quotients and quotient types in Coq L Chicli, L Pottier, C Simpson International Workshop on Types for Proofs and Programs, 95-107, 2002 | 31 | 2002 |

Visualizing geometrical statements with GeoView Y Bertot, F Guilhot, L Pottier Electronic Notes in Theoretical Computer Science 103, 49-65, 2004 | 27 | 2004 |

Optimization of Positive Generalized Polynomials under Constraints L Baratchart, M Berthod, L Pottier INRIA, 1995 | 23 | 1995 |

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 | 16 | 1990 |

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 | 14 | 2019 |

Generalisation de termes en theorie equationnelle L Pottier Cas associatif-commutatif. Rapport de recherche RR-1056, INRIA 19, 1989 | 14 | 1989 |

Generalisation de termes en theorie equationnelle. Cas associatif-commutatif L Pottier INRIA, 1989 | 12 | 1989 |

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 | 10 | 1990 |

Gröbner bases of toric ideals L Pottier | 9 | 1994 |

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 | 9 | 1988 |

Sub-groups of Zn, standard basis, and linear diophantine systems L Pottier INRIA, 1991 | 8 | 1991 |