Analytic combinatorics : functional equations, rational and algebraic functions

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...

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...

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...

Analytic combinatorics of non-crossing configurations

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

January 1997

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

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 ...

Multi-valued computer algebra

Faure, Christele
Davenport, James
Naciri, Hanane
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 CAFESIGLEAvailable from INIST (FR), Document ...

Continued fractions, comparison algorithms, and fine structure constants

Flajolet, Philippe
Vallee, Brigitte
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 AlgoSIGLEAvailable from INIST (FR), Document ...

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...

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...

Une formalisation des faisceaux et des schemas affines en theorie des types avec Coq

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

January 2001

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

Computational geometry and discrete computations

Devillers, Olivier
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 PrismeSIGLEAvailable from INIST (FR), Document...

Mathematics and proof presentation in Pcoq

Amerkad, Ahmed
Bertot, Yves
Pottier, Loic
Rideau, Laurence
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 LemmeSIGLEAvailable from INIST (FR), Document...

Asymptotique automatique

Salvy, Bruno
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 AlgoAvailable from INIST (FR), Document Supply...

Graphes de dependance pour les demonstrateurs de theoremes interactifs

Pons, Olivier
Bertot, Yves
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 LemmeSIGLEAvailable from INIST (FR), Document...

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...

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...

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...

Analytic combinatorics of non-crossing configurations

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

January 1997

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

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 ...

Multi-valued computer algebra

Faure, Christele
Davenport, James
Naciri, Hanane
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 CAFESIGLEAvailable from INIST (FR), Document ...

Continued fractions, comparison algorithms, and fine structure constants

Flajolet, Philippe
Vallee, Brigitte
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 AlgoSIGLEAvailable from INIST (FR), Document ...

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...

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...

Une formalisation des faisceaux et des schemas affines en theorie des types avec Coq

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

January 2001

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

Computational geometry and discrete computations

Devillers, Olivier
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 PrismeSIGLEAvailable from INIST (FR), Document...

Mathematics and proof presentation in Pcoq

Amerkad, Ahmed
Bertot, Yves
Pottier, Loic
Rideau, Laurence
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 LemmeSIGLEAvailable from INIST (FR), Document...

Asymptotique automatique

Salvy, Bruno
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 AlgoAvailable from INIST (FR), Document Supply...

Graphes de dependance pour les demonstrateurs de theoremes interactifs

Pons, Olivier
Bertot, Yves
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 LemmeSIGLEAvailable from INIST (FR), Document...

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...

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...

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...

Analytic combinatorics : functional equations, rational and algebraic functions

Abstract

Extracted data

Analytic combinatorics : functional equations, rational and algebraic functions

Abstract

Extracted data

Related items

Related items