An integrated development of Buchberger's algorithm in Coq

Specialization patterns

Schultz, Ulrik Pagh
Lawall, Julia L.
Muller, Gilles
Consel, Charles
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1999

Theme 2 - Genie logiciel et calcul symbolique. Projet COMPOSESIGLEAvailable from INIST (FR), Documen...

Semantique naturelle : specifications et preuves

Despeyroux, Joelle
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1998

Theme 2 - Genie logiciel et calcul symbolique. Projet CroapAvailable from INIST (FR), Document Suppl...

Analytic analysis of algorithms

Flajolet, Philippe
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1992

Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Docume...

Cinq algorithmes de calcul symbolique

Zimmermann, Paul
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 1997

Theme 2 - Genie logiciel et calcul symbolique. Projet EurecaAvailable from INIST (FR), Document Supp...

Algorithms seminar, 1998-1999

Salvy, Bruno (ed.)
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1999

Theme 2 - Genie logiciel et calcul symbolique - Projet AlgoSIGLEAvailable from INIST (FR), Document ...

Algorithms seminar, 1997-1998

Salvy, Bruno (ed.)
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1998

Theme 2 - Genie logiciel et calcul symbolique. Projet AlgoSIGLEAvailable from INIST (FR), Document S...

Reflecting BDDs in Coq

Verma, Kumar Neeraj
Goubault-Larrecq, Jean
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 2000

Theme 2 - Genie logiciel et calcul symbolique - Projet CoqSIGLEAvailable from INIST (FR), Document S...

Algorithms seminar 1992-1993

Salvy, Bruno
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1993

Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Docume...

Algorithmique du theoreme fondamental de l'algebre

Gourdon, Xavier
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1993

Programme 2 : calcul symbolique, programmation et genie logiciel. Projet algorithmesSIGLEAvailable a...

Conception d'un algorithme de maintien de solution dans un reseau de contraintes

Trombettoni, Gilles
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1992

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1992 ...

Quotients dans le CCI

Pottier, Loic
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 2000

Theme 2 - Genie logiciel et calcul symbolique - Projet LemmeAvailable from INIST (FR), Document Supp...

The CtCoq system Design and architecture

Bertot, Yves
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1998

Theme 2 - Genie logiciel et calcul symbolique. Projet CROAPSIGLEAvailable from INIST (FR), Document ...

A tutorial on recursive types in Coq

Gimenez, Eduardo
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1998

Theme 2 - Genie logiciel et calcul symbolique. Projet COQSIGLEAvailable from INIST (FR), Document Su...

The coq proof assistant : a tutorial. Version 6.1

Huet, Gerard
Kahn, Gilles
Paulin-Mohring, Christine
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1997

Theme 2 - Calcul logiciel et calcul symbolique. Projet CoqSIGLEAvailable from INIST (FR), Document S...

Affichage et manipulation interactive de formules mathematiques dans les documents structures

Rideau, Laurence
Naciri, Hanane
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 2001

Theme 2 - Genie logiciel et calcul symbolique - Projet LemmeAvailable from INIST (FR), Document Supp...

Specialization patterns

Schultz, Ulrik Pagh
Lawall, Julia L.
Muller, Gilles
Consel, Charles
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1999

Theme 2 - Genie logiciel et calcul symbolique. Projet COMPOSESIGLEAvailable from INIST (FR), Documen...

Semantique naturelle : specifications et preuves

Despeyroux, Joelle
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1998

Theme 2 - Genie logiciel et calcul symbolique. Projet CroapAvailable from INIST (FR), Document Suppl...

Analytic analysis of algorithms

Flajolet, Philippe
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1992

Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Docume...

Cinq algorithmes de calcul symbolique

Zimmermann, Paul
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 1997

Theme 2 - Genie logiciel et calcul symbolique. Projet EurecaAvailable from INIST (FR), Document Supp...

Algorithms seminar, 1998-1999

Salvy, Bruno (ed.)
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1999

Theme 2 - Genie logiciel et calcul symbolique - Projet AlgoSIGLEAvailable from INIST (FR), Document ...

Algorithms seminar, 1997-1998

Salvy, Bruno (ed.)
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1998

Theme 2 - Genie logiciel et calcul symbolique. Projet AlgoSIGLEAvailable from INIST (FR), Document S...

Reflecting BDDs in Coq

Verma, Kumar Neeraj
Goubault-Larrecq, Jean
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 2000

Theme 2 - Genie logiciel et calcul symbolique - Projet CoqSIGLEAvailable from INIST (FR), Document S...

Algorithms seminar 1992-1993

Salvy, Bruno
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1993

Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Docume...

Algorithmique du theoreme fondamental de l'algebre

Gourdon, Xavier
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1993

Programme 2 : calcul symbolique, programmation et genie logiciel. Projet algorithmesSIGLEAvailable a...

Conception d'un algorithme de maintien de solution dans un reseau de contraintes

Trombettoni, Gilles
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1992

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1992 ...

Quotients dans le CCI

Pottier, Loic
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 2000

Theme 2 - Genie logiciel et calcul symbolique - Projet LemmeAvailable from INIST (FR), Document Supp...

The CtCoq system Design and architecture

Bertot, Yves
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1998

Theme 2 - Genie logiciel et calcul symbolique. Projet CROAPSIGLEAvailable from INIST (FR), Document ...

A tutorial on recursive types in Coq

Gimenez, Eduardo
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1998

Theme 2 - Genie logiciel et calcul symbolique. Projet COQSIGLEAvailable from INIST (FR), Document Su...

The coq proof assistant : a tutorial. Version 6.1

Huet, Gerard
Kahn, Gilles
Paulin-Mohring, Christine
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1997

Theme 2 - Calcul logiciel et calcul symbolique. Projet CoqSIGLEAvailable from INIST (FR), Document S...

Affichage et manipulation interactive de formules mathematiques dans les documents structures

Rideau, Laurence
Naciri, Hanane
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 2001

Theme 2 - Genie logiciel et calcul symbolique - Projet LemmeAvailable from INIST (FR), Document Supp...

Specialization patterns

Schultz, Ulrik Pagh
Lawall, Julia L.
Muller, Gilles
Consel, Charles
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1999

Theme 2 - Genie logiciel et calcul symbolique. Projet COMPOSESIGLEAvailable from INIST (FR), Documen...

Semantique naturelle : specifications et preuves

Despeyroux, Joelle
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1998

Theme 2 - Genie logiciel et calcul symbolique. Projet CroapAvailable from INIST (FR), Document Suppl...

Analytic analysis of algorithms

Flajolet, Philippe
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1992

Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Docume...

An integrated development of Buchberger's algorithm in Coq

Abstract

Extracted data

An integrated development of Buchberger's algorithm in Coq

Abstract

Extracted data

Related items

Related items