
Search the dblp DataBase
Loic Pottier:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 André Galligo, J. Grimm, Loic Pottier
The design of SISYPHE: a system for doing symbolic and algebraic computations. [Citation Graph (0, 0)][DBLP] DISCO, 1990, pp:3039 [Conf]
 C. Faure, André Galligo, J. Grimm, Loic Pottier
The Extensions of the Sisyphe Computer Algebra System: ulysse and athena. [Citation Graph (0, 0)][DBLP] DISCO, 1992, pp:4455 [Conf]
 Andreas Kosmala, Gerhard Rigoll, Stephane Lavirotte, Loic Pottier
OnLine Handwritten Formula Recognition using Hidden Markov Models and Context Dependent Graph Grammars. [Citation Graph (0, 0)][DBLP] ICDAR, 1999, pp:107110 [Conf]
 André Galligo, Loic Pottier, Carlo Traverso
Greater Easy Common Divisor and Standard Basis Completion Algorithms. [Citation Graph (0, 0)][DBLP] ISSAC, 1988, pp:162176 [Conf]
 Loic Pottier
The Euclidean Algorithm in Dimension n. [Citation Graph (0, 0)][DBLP] ISSAC, 1996, pp:4042 [Conf]
 Emmanuel Kounalis, Denis Lugiez, Loic Pottier
A Solution of the Complement Problem in AssociativeCommutative Theories. [Citation Graph (0, 0)][DBLP] IWWERT, 1991, pp:197214 [Conf]
 Loic Pottier
Extraction dans le Calcul des Constructions Inductives. [Citation Graph (0, 0)][DBLP] JFLA, 2001, pp:4958 [Conf]
 Emmanuel Kounalis, Denis Lugiez, Loic Pottier
A Solution of the Complement Problem in AssociativeCommutative Theories. [Citation Graph (0, 0)][DBLP] MFCS, 1991, pp:287297 [Conf]
 Loic Pottier
Minimal Solutions of Linear Diophantine Systems: Bounds and Algorithms. [Citation Graph (0, 0)][DBLP] RTA, 1991, pp:162173 [Conf]
 Laurent Chicli, Loic Pottier, Carlos Simpson
Mathematical Quotients and Quotient Types in Coq. [Citation Graph (0, 0)][DBLP] TYPES, 2002, pp:95107 [Conf]
 Yves Bertot, Frédérique Guilhot, Loic Pottier
Visualizing Geometrical Statements with GeoView. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:103, n:, pp:4965 [Journal]
Connecting Gröbner Bases Programs with Coq to do Proofs in Algebra, Geometry and Arithmetics. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
