Loïc Pottier Home Page Coauthor index pubzone.org

Loic Pottier

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2010
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Loïc Pottier: Connecting Gröbner Bases Programs with Coq to do Proofs in Algebra, Geometry and Arithmetics. CoRR abs/1007.3615 (2010)
2008
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Benjamin Grégoire, Loïc Pottier, Laurent Théry: Proof Certificates for Algebra and Their Application to Automatic Geometry Theorem Proving. Automated Deduction in Geometry 2008: 42-59
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Loic Pottier: Connecting Gröbner Bases Programs with Coq to do Proofs in Algebra, Geometry and Arithmetics. LPAR Workshops 2008
2004
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yves Bertot, Frédérique Guilhot, Loic Pottier: Visualizing Geometrical Statements with GeoView. Electr. Notes Theor. Comput. Sci. 103: 49-65 (2004)
2002
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Laurent Chicli, Loic Pottier, Carlos Simpson: Mathematical Quotients and Quotient Types in Coq. TYPES 2002: 95-107
2001
c9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Loic Pottier: Extraction dans le Calcul des Constructions Inductives. JFLA 2001: 49-58
1999
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Loic Pottier: The Euclidean Algorithm in Dimension n. ISSAC 1996: 40-42
1992
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
C. Faure, André Galligo, J. Grimm, Loic Pottier: The Extensions of the Sisyphe Computer Algebra System: ulysse and athena. DISCO 1992: 44-55
1991
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Emmanuel Kounalis, Denis Lugiez, Loic Pottier: A Solution of the Complement Problem in Associative-Commutative Theories. IWWERT 1991: 197-214
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Emmanuel Kounalis, Denis Lugiez, Loic Pottier: A Solution of the Complement Problem in Associative-Commutative Theories. MFCS 1991: 287-297
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Loic Pottier: Minimal Solutions of Linear Diophantine Systems: Bounds and Algorithms. RTA 1991: 162-173
1990
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
André Galligo, J. Grimm, Loic Pottier: The design of SISYPHE: a system for doing symbolic and algebraic computations. DISCO 1990: 30-39
1988
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
André Galligo, Loic Pottier, Carlo Traverso: Greater Easy Common Divisor and Standard Basis Completion Algorithms. ISSAC 1988: 162-176

Coauthor Index

1Yves Bertot
[j1]
2Laurent Chicli
[c10]
3C. Faure
[c6]
4André Galligo
[c6] [c2] [c1]
5J. Grimm
[c6] [c2]
6Benjamin Grégoire
[c12]
7Frédérique Guilhot
[j1]
8Andreas Kosmala
[c8]
9Emmanuel Kounalis
[c5] [c4]
10Stephane Lavirotte
[c8]
11Denis Lugiez
[c5] [c4]
12Gerhard Rigoll
[c8]
13Carlos Simpson
[c10]
14Laurent Théry
[c12]
15Carlo Traverso
[c1]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sun May 19 20:59:18 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page