Calcul formel en geometrie algebrique reelle applique a la terminaison des systemes de reecriture

Calcul formel et parallelisme: l'architecture du systeme PAC et son arithmetique rationnelle

Roch, Jean-Louis
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1989

SIGLEINIST T 70840 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Un micromonde de geometrie, Cabri-geometre

Baulac, Yves

January 1990

SIGLEINIST T 71029 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Un systeme souple pour identifier des objets geometriques plans decrits par un operateur humain

Jaulent, Marie-Christine
Institut National Polytechnique, 31 - Toulouse (France)

January 1986

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

Semantique des calculs par systemes de reecriture de termes

Boudol, Gerard
Institut National de Recherche en Informatique et en Automatique, Centre de Sophia Antipolis Valbonne (FRANCE)

January 1983

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

Geometrie des varietes de Iarrobino

Yameogo, Joachim

January 1991

SIGLEINIST T 76673 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Geometrie des systemes bihamiltoniens en dimension quatre

Brouzet, Robert

January 1991

Available from INIST (FR), Document Supply Service, under shelf-number : T 79223 / INIST-CNRS - Inst...

Les operateurs geometriques : conception et realisation

Hameurlain, Abdelkader

January 1984

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

Outils de calcul sur les programmes

Bert, D.
Bensalem, S.
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1985

SIGLECNRS RS 17660 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Application des nombres caracteristiques a la geometrie riemanienne

Ville, Marina

January 1984

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

Operatuers d'Euler et Modelisation Geometrique

Chacar, Rabih

January 1989

INIST T 70771 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Calculs d'etats globaux remarquables dans un systeme reparti

Raynal, Michel
Plouzeau, Noel
Helary, Jean-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)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes

January 1988

CNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Sur certains aspects geometriques des theories conformes bidimensionnelles

Thuillier, Frank

January 1991

SIGLEINIST T 76538 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Methodes geometriques et algorithmiques pour la planification de trajectoires

Amet, Henry

January 1990

SIGLEINIST T 76805 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Calcul discretise des echangeurs tubulaires et platulaires

Boumedien, Ali

January 1986

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

Etude de faisabilite d'un systeme compatible de calcul des structures

Dubois, M.
Ansari, M.
Cheriff, M.
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)
Centre Technique des Industries Mecaniques, 60 - Senlis (France)

January 1982

SIGLECNRS AR 12090 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Calcul formel et parallelisme: l'architecture du systeme PAC et son arithmetique rationnelle

Roch, Jean-Louis
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1989

SIGLEINIST T 70840 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Un micromonde de geometrie, Cabri-geometre

Baulac, Yves

January 1990

SIGLEINIST T 71029 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Un systeme souple pour identifier des objets geometriques plans decrits par un operateur humain

Jaulent, Marie-Christine
Institut National Polytechnique, 31 - Toulouse (France)

January 1986

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

Semantique des calculs par systemes de reecriture de termes

Boudol, Gerard
Institut National de Recherche en Informatique et en Automatique, Centre de Sophia Antipolis Valbonne (FRANCE)

January 1983

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

Geometrie des varietes de Iarrobino

Yameogo, Joachim

January 1991

SIGLEINIST T 76673 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Geometrie des systemes bihamiltoniens en dimension quatre

Brouzet, Robert

January 1991

Available from INIST (FR), Document Supply Service, under shelf-number : T 79223 / INIST-CNRS - Inst...

Les operateurs geometriques : conception et realisation

Hameurlain, Abdelkader

January 1984

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

Outils de calcul sur les programmes

Bert, D.
Bensalem, S.
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1985

SIGLECNRS RS 17660 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Application des nombres caracteristiques a la geometrie riemanienne

Ville, Marina

January 1984

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

Operatuers d'Euler et Modelisation Geometrique

Chacar, Rabih

January 1989

INIST T 70771 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Calculs d'etats globaux remarquables dans un systeme reparti

Raynal, Michel
Plouzeau, Noel
Helary, Jean-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)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes

January 1988

CNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Sur certains aspects geometriques des theories conformes bidimensionnelles

Thuillier, Frank

January 1991

SIGLEINIST T 76538 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Methodes geometriques et algorithmiques pour la planification de trajectoires

Amet, Henry

January 1990

SIGLEINIST T 76805 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Calcul discretise des echangeurs tubulaires et platulaires

Boumedien, Ali

January 1986

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

Etude de faisabilite d'un systeme compatible de calcul des structures

Dubois, M.
Ansari, M.
Cheriff, M.
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)
Centre Technique des Industries Mecaniques, 60 - Senlis (France)

January 1982

SIGLECNRS AR 12090 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Calcul formel et parallelisme: l'architecture du systeme PAC et son arithmetique rationnelle

Roch, Jean-Louis
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1989

SIGLEINIST T 70840 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Un micromonde de geometrie, Cabri-geometre

Baulac, Yves

January 1990

SIGLEINIST T 71029 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Un systeme souple pour identifier des objets geometriques plans decrits par un operateur humain

Jaulent, Marie-Christine
Institut National Polytechnique, 31 - Toulouse (France)

January 1986

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

Calcul formel en geometrie algebrique reelle applique a la terminaison des systemes de reecriture

Abstract

Extracted data

Calcul formel en geometrie algebrique reelle applique a la terminaison des systemes de reecriture

Abstract

Extracted data

Related items

Related items