| 2008 |
|---|
| 12 | EE | Loic Pottier:
Connecting Gröbner Bases Programs with Coq to do Proofs in Algebra, Geometry and Arithmetics.
LPAR Workshops 2008 |
| 2004 |
|---|
| 11 | EE | Yves Bertot,
Frédérique Guilhot,
Loic Pottier:
Visualizing Geometrical Statements with GeoView.
Electr. Notes Theor. Comput. Sci. 103: 49-65 (2004) |
| 2002 |
|---|
| 10 | EE | Laurent Chicli,
Loic Pottier,
Carlos Simpson:
Mathematical Quotients and Quotient Types in Coq.
TYPES 2002: 95-107 |
| 2001 |
|---|
| 9 | | Loic Pottier:
Extraction dans le Calcul des Constructions Inductives.
JFLA 2001: 49-58 |
| 1999 |
|---|
| 8 | EE | Andreas Kosmala,
Gerhard Rigoll,
Stephane Lavirotte,
Loic Pottier:
On-Line Handwritten Formula Recognition using Hidden Markov Models and Context Dependent Graph Grammars.
ICDAR 1999: 107-110 |
| 1996 |
|---|
| 7 | EE | Loic Pottier:
The Euclidean Algorithm in Dimension n.
ISSAC 1996: 40-42 |
| 1992 |
|---|
| 6 | | C. Faure,
André Galligo,
J. Grimm,
Loic Pottier:
The Extensions of the Sisyphe Computer Algebra System: ulysse and athena.
DISCO 1992: 44-55 |
| 1991 |
|---|
| 5 | | Emmanuel Kounalis,
Denis Lugiez,
Loic Pottier:
A Solution of the Complement Problem in Associative-Commutative Theories.
IWWERT 1991: 197-214 |
| 4 | | Emmanuel Kounalis,
Denis Lugiez,
Loic Pottier:
A Solution of the Complement Problem in Associative-Commutative Theories.
MFCS 1991: 287-297 |
| 3 | | Loic Pottier:
Minimal Solutions of Linear Diophantine Systems: Bounds and Algorithms.
RTA 1991: 162-173 |
| 1990 |
|---|
| 2 | | André Galligo,
J. Grimm,
Loic Pottier:
The design of SISYPHE: a system for doing symbolic and algebraic computations.
DISCO 1990: 30-39 |
| 1988 |
|---|
| 1 | | André Galligo,
Loic Pottier,
Carlo Traverso:
Greater Easy Common Divisor and Standard Basis Completion Algorithms.
ISSAC 1988: 162-176 |
