Computer algebra libraries for combinatorial structures

Developpement de modules de calcul de structures et integration dans le logiciel de calcul par elements finis SYSTUS

Filippi, Martine
Chorlay, Dominique
Le Dain, M.A.
Bellet, M.
Chenot, J.L.
Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
Framasoft-CSI, 92 - Courbevoie (France)

January 1993

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

Sketches and computation

Raynaud, Jean-Claude
Duval, Dominique
Institut National Polytechnique de Grenoble (INPG), 38 - Grenoble (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle (LIFIA)
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1991

Available at INIST (FR), Document Supply Service, under shelf-number : 17660, issue : a.1991 n.871-I...

A library for Z-polyhedral operations

Phani Kumar Nookala, Sunder
Risset, Tanguy
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (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 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 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2000

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

Combinatorial structures and structures for classification

Van Cutsem, Bernard
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 1993

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 22495, issue : a.1993 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 ...

Combinatorial techniques in computer science

Schott, R.
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
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)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1990

Paru dans : Bulletin de la societe mathematique de Belgique, 42(2) : 141-155, 1990Available at INIST...

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

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

Zonoedres : structures de donnees et algorithmes

Szafran, Nicolas
Informatique et Mathematiques de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Techniques de l'Informatique, des Mathematiques, de la Microelectronique et de la Microscopie Quantitative (TIM3)

January 1990

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

Sur l'Algorithmique combinatoire d'ordre finis

Bordat, Jean-Paul

January 1992

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

Partial algebra + order-sorted algebra = G algebra

Aristide, M.
Nancy-1 Univ., 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)
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1990

Available at INIST (FR), Document Supply Service, under shelf-number : RP 10522 / INIST-CNRS - Insti...

Algorithms seminar, 1994-1995

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

January 1995

Programme 2SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issu...

Algorithmes numeriques et parallelisation

Philippe, Bernard
Rennes-1 Univ., 35 (France). Inst. de Formation Superieure en Informatique et Communication
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 1989

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

Collections, sets and types

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

January 1995

Programme 2 - Calcul symbolique, programmation et genie logiciel. Projet CoqSIGLEAvailable at INIST ...

Algorithms seminar 1995-1996

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

January 1996

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

Developpement de modules de calcul de structures et integration dans le logiciel de calcul par elements finis SYSTUS

Filippi, Martine
Chorlay, Dominique
Le Dain, M.A.
Bellet, M.
Chenot, J.L.
Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
Framasoft-CSI, 92 - Courbevoie (France)

January 1993

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

Sketches and computation

Raynaud, Jean-Claude
Duval, Dominique
Institut National Polytechnique de Grenoble (INPG), 38 - Grenoble (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle (LIFIA)
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1991

Available at INIST (FR), Document Supply Service, under shelf-number : 17660, issue : a.1991 n.871-I...

A library for Z-polyhedral operations

Phani Kumar Nookala, Sunder
Risset, Tanguy
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (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 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 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2000

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

Combinatorial structures and structures for classification

Van Cutsem, Bernard
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 1993

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 22495, issue : a.1993 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 ...

Combinatorial techniques in computer science

Schott, R.
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
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)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1990

Paru dans : Bulletin de la societe mathematique de Belgique, 42(2) : 141-155, 1990Available at INIST...

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

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

Zonoedres : structures de donnees et algorithmes

Szafran, Nicolas
Informatique et Mathematiques de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Techniques de l'Informatique, des Mathematiques, de la Microelectronique et de la Microscopie Quantitative (TIM3)

January 1990

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

Sur l'Algorithmique combinatoire d'ordre finis

Bordat, Jean-Paul

January 1992

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

Partial algebra + order-sorted algebra = G algebra

Aristide, M.
Nancy-1 Univ., 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)
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1990

Available at INIST (FR), Document Supply Service, under shelf-number : RP 10522 / INIST-CNRS - Insti...

Algorithms seminar, 1994-1995

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

January 1995

Programme 2SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issu...

Algorithmes numeriques et parallelisation

Philippe, Bernard
Rennes-1 Univ., 35 (France). Inst. de Formation Superieure en Informatique et Communication
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 1989

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

Collections, sets and types

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

January 1995

Programme 2 - Calcul symbolique, programmation et genie logiciel. Projet CoqSIGLEAvailable at INIST ...

Algorithms seminar 1995-1996

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

January 1996

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

Developpement de modules de calcul de structures et integration dans le logiciel de calcul par elements finis SYSTUS

Filippi, Martine
Chorlay, Dominique
Le Dain, M.A.
Bellet, M.
Chenot, J.L.
Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
Framasoft-CSI, 92 - Courbevoie (France)

January 1993

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

Sketches and computation

Raynaud, Jean-Claude
Duval, Dominique
Institut National Polytechnique de Grenoble (INPG), 38 - Grenoble (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle (LIFIA)
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1991

Available at INIST (FR), Document Supply Service, under shelf-number : 17660, issue : a.1991 n.871-I...

A library for Z-polyhedral operations

Phani Kumar Nookala, Sunder
Risset, Tanguy
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (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 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 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2000

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

Computer algebra libraries for combinatorial structures

Abstract

Extracted data

Computer algebra libraries for combinatorial structures

Abstract

Extracted data

Related items

Related items