Preuves de terminaison de systemes de reecriture fondees sur les interpretations polynomiales. Une methode basee sur le theoreme de Sturm

Theorie des systemes lineaires dans les dioides

Gaubert, Stephane
Ecole Nationale Superieure des Mines, 75 - Paris (France)

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 84382 / INIST-CNRS -...

Asynchronous polynomial root finding methods

Cosnard, Michel
Fraigniaud, Pierre
Ecole Normale Superieure de Lyon, 69 (France). Lab. de l'Informatique du Parallelisme
Lyon-1 Univ., 69 (France). Lab. de l'Informatique du Parallelisme
Institut Informatique et Mathematiques Appliquees de Grenoble (IMAG), 69 - Lyon (France). Lab. de l'Informatique du Parallelisme
Centre National de la Recherche Scientifique (CNRS), 69 - Lyon (France). Lab. de l'Informatique du Parallelisme

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10295 / INIST-CNRS - ...

Etude de la conceptualisation dans le systeme didactique en mathematiques et informatiques elementaires: proportionnalite, structures iterativo-recursives, institutionnalisation

Rouchier, Andre

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : TD 20508 / INIST-CNRS ...

Preuves de terminaison des systemes de reecriture : un outil fonde sur les interpretations polynomiales

Ben Cherifa, Ahlem

January 1986

SIGLECNRS T 60150 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Operations polynomiales sur les langages rationnels, caracterisations syntactiques et resultats de decidabilite

Arfi, Mustapha

January 1990

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 77917 / INIST-CNRS -...

Towards a general formal framework for polynomial approximation (concepts and examples)

Demange, Marc
Paschos, Vangelis T.
Centre National de la Recherche Scientifique, 75 - Paris (France). Unite Mixte de Service de la Maison des Sciences Economiques
Paris-1 Univ., 75 - (France). Centre de Recherches de Mathematiques, Statistiques et d'Economie Mathematique
Paris-1 Univ., 75 - Paris (France). Maison des Sciences Economiques
Centre National de la Recherche Scientifique, 75 - Paris (France). Centre de Recherches de Mathematiques, Statistiques et d'Economie Mathematique

January 2000

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : RP 15762 / INIST-CNRS ...

Towards a general formal framework for polynomial approximation (some constitutive elements of a new problematics)

Demange, Marc
Paschos, Vangelis T.
Centre National de la Recherche Scientifique, 75 - Paris (France). Unite Mixte de Service de la Maison des Sciences Economiques
Paris-1 Univ., 75 - Paris (France). Maison des Sciences Economiques
Paris-1 Univ., 75 - (France). Centre de Recherches de Mathematiques, Statistiques et d'Economie Mathematique
Centre National de la Recherche Scientifique, 75 - Paris (France). Centre de Recherches de Mathematiques, Statistiques et d'Economie Mathematique

January 1999

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : RP 15605 / INIST-CNRS ...

Validating polynomial numerical computations with complementary automatic methods

Langlois, Philippe
Revol, Nathalie
Centre National de la Recherche Scientifique (CNRS), 69 - Lyon (France). Lab. de l'Informatique du Parallelisme
Ecole Normale Superieure de Lyon, 69 (France). Lab. de l'Informatique du Parallelisme
Lyon-1 Univ., 69 (France). Lab. de l'Informatique du Parallelisme

January 2001

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : RP 15839 / INIST-CNRS ...

Proprietes polynomiales et croissance des fonctions entieres

Madani Yssaad, Abderrahmane

January 1987

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Theorie de systeme et series temporelles

Ratsimalahelo, Zaka
Centre National de la Recherche Scientifique (CNRS), 21 - Dijon (France). Lab. d'Analyse et de Techniques Economiques (LATEC)
Dijon Univ., 21 (France). Lab. d'Analyse et de Techniques Economiques (LATEC)

January 1994

Available at INIST (FR), Document Supply Service, under shelf-number : 26046, issue : a.1994 n.01 / ...

Analyse globale par approximation polynomiale des ecoulements dans les conduites et les canaux

Najeme, Abdelatif

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 83182 / INIST-CNRS -...

Control of polynomial dynamic systems An example

Dutertre, Bruno
Le Borgne, Michel
Centre National de la Recherche Scientifique (CNRS), 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)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1994

Programme 2 - Calcul symbolique, programmation et genie logiciel. Projet EP-ATRSIGLEAvailable at INI...

Methodes d'analyse pour les constructions combinatoires et les algorithmes

Soria-Cousineau, Michele

January 1990

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : TD 20445 / INIST-CNRS ...

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

Une demarche methodologique de conception de systemes experts

Tankoano, Joachim
Derniame, Jean-Claude
Boudebous, Dalila
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1992

Extrait de : Actes Genie Logiciel et ses Applications, Toulouse, Decembre 1992Available at INIST (FR...

Theorie des systemes lineaires dans les dioides

Gaubert, Stephane
Ecole Nationale Superieure des Mines, 75 - Paris (France)

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 84382 / INIST-CNRS -...

Asynchronous polynomial root finding methods

Cosnard, Michel
Fraigniaud, Pierre
Ecole Normale Superieure de Lyon, 69 (France). Lab. de l'Informatique du Parallelisme
Lyon-1 Univ., 69 (France). Lab. de l'Informatique du Parallelisme
Institut Informatique et Mathematiques Appliquees de Grenoble (IMAG), 69 - Lyon (France). Lab. de l'Informatique du Parallelisme
Centre National de la Recherche Scientifique (CNRS), 69 - Lyon (France). Lab. de l'Informatique du Parallelisme

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10295 / INIST-CNRS - ...

Etude de la conceptualisation dans le systeme didactique en mathematiques et informatiques elementaires: proportionnalite, structures iterativo-recursives, institutionnalisation

Rouchier, Andre

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : TD 20508 / INIST-CNRS ...

Preuves de terminaison des systemes de reecriture : un outil fonde sur les interpretations polynomiales

Ben Cherifa, Ahlem

January 1986

SIGLECNRS T 60150 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Operations polynomiales sur les langages rationnels, caracterisations syntactiques et resultats de decidabilite

Arfi, Mustapha

January 1990

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 77917 / INIST-CNRS -...

Towards a general formal framework for polynomial approximation (concepts and examples)

Demange, Marc
Paschos, Vangelis T.
Centre National de la Recherche Scientifique, 75 - Paris (France). Unite Mixte de Service de la Maison des Sciences Economiques
Paris-1 Univ., 75 - (France). Centre de Recherches de Mathematiques, Statistiques et d'Economie Mathematique
Paris-1 Univ., 75 - Paris (France). Maison des Sciences Economiques
Centre National de la Recherche Scientifique, 75 - Paris (France). Centre de Recherches de Mathematiques, Statistiques et d'Economie Mathematique

January 2000

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : RP 15762 / INIST-CNRS ...

Towards a general formal framework for polynomial approximation (some constitutive elements of a new problematics)

Demange, Marc
Paschos, Vangelis T.
Centre National de la Recherche Scientifique, 75 - Paris (France). Unite Mixte de Service de la Maison des Sciences Economiques
Paris-1 Univ., 75 - Paris (France). Maison des Sciences Economiques
Paris-1 Univ., 75 - (France). Centre de Recherches de Mathematiques, Statistiques et d'Economie Mathematique
Centre National de la Recherche Scientifique, 75 - Paris (France). Centre de Recherches de Mathematiques, Statistiques et d'Economie Mathematique

January 1999

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : RP 15605 / INIST-CNRS ...

Validating polynomial numerical computations with complementary automatic methods

Langlois, Philippe
Revol, Nathalie
Centre National de la Recherche Scientifique (CNRS), 69 - Lyon (France). Lab. de l'Informatique du Parallelisme
Ecole Normale Superieure de Lyon, 69 (France). Lab. de l'Informatique du Parallelisme
Lyon-1 Univ., 69 (France). Lab. de l'Informatique du Parallelisme

January 2001

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : RP 15839 / INIST-CNRS ...

Proprietes polynomiales et croissance des fonctions entieres

Madani Yssaad, Abderrahmane

January 1987

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Theorie de systeme et series temporelles

Ratsimalahelo, Zaka
Centre National de la Recherche Scientifique (CNRS), 21 - Dijon (France). Lab. d'Analyse et de Techniques Economiques (LATEC)
Dijon Univ., 21 (France). Lab. d'Analyse et de Techniques Economiques (LATEC)

January 1994

Available at INIST (FR), Document Supply Service, under shelf-number : 26046, issue : a.1994 n.01 / ...

Analyse globale par approximation polynomiale des ecoulements dans les conduites et les canaux

Najeme, Abdelatif

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 83182 / INIST-CNRS -...

Control of polynomial dynamic systems An example

Dutertre, Bruno
Le Borgne, Michel
Centre National de la Recherche Scientifique (CNRS), 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)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1994

Programme 2 - Calcul symbolique, programmation et genie logiciel. Projet EP-ATRSIGLEAvailable at INI...

Methodes d'analyse pour les constructions combinatoires et les algorithmes

Soria-Cousineau, Michele

January 1990

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : TD 20445 / INIST-CNRS ...

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

Une demarche methodologique de conception de systemes experts

Tankoano, Joachim
Derniame, Jean-Claude
Boudebous, Dalila
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1992

Extrait de : Actes Genie Logiciel et ses Applications, Toulouse, Decembre 1992Available at INIST (FR...

Theorie des systemes lineaires dans les dioides

Gaubert, Stephane
Ecole Nationale Superieure des Mines, 75 - Paris (France)

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 84382 / INIST-CNRS -...

Asynchronous polynomial root finding methods

Cosnard, Michel
Fraigniaud, Pierre
Ecole Normale Superieure de Lyon, 69 (France). Lab. de l'Informatique du Parallelisme
Lyon-1 Univ., 69 (France). Lab. de l'Informatique du Parallelisme
Institut Informatique et Mathematiques Appliquees de Grenoble (IMAG), 69 - Lyon (France). Lab. de l'Informatique du Parallelisme
Centre National de la Recherche Scientifique (CNRS), 69 - Lyon (France). Lab. de l'Informatique du Parallelisme

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10295 / INIST-CNRS - ...

Etude de la conceptualisation dans le systeme didactique en mathematiques et informatiques elementaires: proportionnalite, structures iterativo-recursives, institutionnalisation

Rouchier, Andre

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : TD 20508 / INIST-CNRS ...

Preuves de terminaison de systemes de reecriture fondees sur les interpretations polynomiales. Une methode basee sur le theoreme de Sturm

Abstract

Extracted data

Preuves de terminaison de systemes de reecriture fondees sur les interpretations polynomiales. Une methode basee sur le theoreme de Sturm

Abstract

Extracted data

Related items

Related items