Searching for authors named "Loic Pottier" – sorted by Relevance.
11 documents found, showing 1 through 10.
Next 10 →
-
The Euclide algorithm in dimension n
- …The Euclide algorithm in dimension n Lo#c Pottier November 7, 1996 Introduction We present…
- Cited by 3 (0 self) – Add To MetaCart
-
Mathematical Formula Recognition Using Graph Grammar
- …-mail: Loic.Pott#er@(email omitted);; WWW:http://www.inria.fr/croap/personnel/Loic.Pottier/home.html After…
- Cited by 4 (1 self) – Add To MetaCart
-
A Sharp Lower Bound on the Time-Space Product for Reversing a Finite Sequence
- …#c Pottier, Nicole Rostaing-Schmidt SAFIR project INRIA Sophia Antipolis 2004 route des Lucioles, BP 93…
- Add To MetaCart
-
Optimization of Positive Generalized Polynomials under l^p Constraints
- …, Marc Berthod, Loc Pottier N 2750 Decembre 1995 PROGRAMME 4 Optimization of positive generalized…
- Add To MetaCart
-
Dependency Graphs for Interactive Theorem Provers
- …Dependency graphs for interactive theorem provers Yves Bertot, Olivier Pons, and Lo#c Pottier…
- Cited by 1 (0 self) – Add To MetaCart
-
Visualizing Geometrical Statements with GeoView
- … Antipolis, FRANCE Frédérique Guilhot 3 Lemme Team INRIA Sophia Antipolis, FRANCE Loïc Pottier 4 Lemme Team…
- Cited by 3 (0 self) – Add To MetaCart
-
On-Line Handwritten Formula Recognition using Hidden Markov Models and Context Dependent Graph Grammars
- … 06560 Sophia Antipolis, France Stephane.Lavirotte@(email omitted); Loic.Pottier@(email omitted); Abstract…
- Cited by 12 (0 self) – Add To MetaCart
-
Connecting Gröbner bases programs with Coq to do proofs in algebra, geometry and arithmetics
- … downloadable at http://www-sop.inria.fr/marelle/Loic.Pottier/gb-keappa.tgz 67Connecting Gröbner bases programs…
- Add To MetaCart
-
Optical Formula Recognition
- …Optical Formula Recognition St#phane Lavirotte Lo#c Pottier Sar Team Sar Team INRIA Sophia…
- Cited by 15 (1 self) – Add To MetaCart
-
Optimal Time and Minimum Space-Time Product for Reversing a Certain Class of Programs
- …, Loc Pottier, Nicole Rostaing-Schmidt N 2794 Fevrier 1996 THE ME 2 Optimal time and minimum space…
- Cited by 11 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
