Multivariate polynomials, duality and structured matrices

Multimodularity, convexity and optimization properties

Altman, Eitan
Gaujal, Bruno
Hordijk, Arie
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1997

Theme 1 - Reseaux et systemes - Projet Mistral, SloopSIGLEAvailable from INIST (FR), Document Supply...

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

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

Some algorithms for matrix polynomials

Villard, G.
Grenoble-1 Univ., 38 - Saint-Martin-d'Heres (France). Lab. de Modelisation et Calcul (LMC)
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Grenoble (France). Lab. de Modelisation et de Calcul
Institut National Polytechnique de Grenoble (INPG), 38 - Grenoble (France). Lab. de Modelisation et de Calcul

January 1996

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 22495, issue : a.1996 n....

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

Solving zero-dimensional polynomial systems through the rational univariate representation

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

January 1998

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

Analytic combinatorics : functional equations, rational and algebraic functions

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

Fast algorithms for zero-dimensional polynomial systems using duality

Bostan, Alin
Salvy, Bruno
Schost, Eric
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 2001

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

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

Some improvements on multipartite table methods

De Dinechin, Florent
Tisserand, Arnaud
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Montbonnot-Saint-Martin (France). Unite de Recherche Rhone-Alpes

January 2000

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

Validating polynomial numerical computations with complementary automatic methods

Revol, Nathalie
Langlois, Philippe
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Montbonnot-Saint-Martin (France). Unite de Recherche Rhone-Alpes

January 2001

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

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

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

Numerical computation of a polynomial GCD and extensions

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

January 1996

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

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

Multimodularity, convexity and optimization properties

Altman, Eitan
Gaujal, Bruno
Hordijk, Arie
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1997

Theme 1 - Reseaux et systemes - Projet Mistral, SloopSIGLEAvailable from INIST (FR), Document Supply...

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

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

Some algorithms for matrix polynomials

Villard, G.
Grenoble-1 Univ., 38 - Saint-Martin-d'Heres (France). Lab. de Modelisation et Calcul (LMC)
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Grenoble (France). Lab. de Modelisation et de Calcul
Institut National Polytechnique de Grenoble (INPG), 38 - Grenoble (France). Lab. de Modelisation et de Calcul

January 1996

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 22495, issue : a.1996 n....

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

Solving zero-dimensional polynomial systems through the rational univariate representation

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

January 1998

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

Analytic combinatorics : functional equations, rational and algebraic functions

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

Fast algorithms for zero-dimensional polynomial systems using duality

Bostan, Alin
Salvy, Bruno
Schost, Eric
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 2001

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

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

Some improvements on multipartite table methods

De Dinechin, Florent
Tisserand, Arnaud
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Montbonnot-Saint-Martin (France). Unite de Recherche Rhone-Alpes

January 2000

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

Validating polynomial numerical computations with complementary automatic methods

Revol, Nathalie
Langlois, Philippe
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Montbonnot-Saint-Martin (France). Unite de Recherche Rhone-Alpes

January 2001

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

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

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

Numerical computation of a polynomial GCD and extensions

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

January 1996

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

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

Multimodularity, convexity and optimization properties

Altman, Eitan
Gaujal, Bruno
Hordijk, Arie
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1997

Theme 1 - Reseaux et systemes - Projet Mistral, SloopSIGLEAvailable from INIST (FR), Document Supply...

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

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

Multivariate polynomials, duality and structured matrices

Abstract

Extracted data

Multivariate polynomials, duality and structured matrices

Abstract

Extracted data

Related items

Related items