IRMA - Documents

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

enseignement ; formation initiale ; formation continue ; calcul symbolique ; multimédia ; T.I.P.E. ; statistique ; aléatoire ; logiciel Chic ; évaluation

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

manuel ; enseignement supérieur ; cours ; exercice ; langage informatique ; langage de programmation ; logiciel Maple ; logiciel Matlab ; logiciel Scilab ; logiciel Sage ; calcul symbolique ; licence

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

calcul formel ; calcul symbolique ; logiciel Derive ; formation des professeurs

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

logiciel ; logiciel Mu-math ; logiciel Mu-simp ; arithmétique ; équation ; calcul symbolique

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

calcul symbolique ; géométrie algébrique

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

interface homme-machine ; calcul symbolique

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

intelligence artificielle ; calcul numérique ; calcul symbolique

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

problème de Cauchy ; gravité ; calcul paradifférentiel ; calcul symbolique ; symbole pseudo-différentiel ; équation d'onde ; estimation de Strichartz ; estimation de Sobolev

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

opérateur pseudo-différentiel ; groupe de Lie nilpotent ; quantisation ; calcul symbolique ; groupe de Lie nilpotent gradué

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

équation de Schroedinger ; système hyperbolique non linéaire ; linéarisation ; calcul symbolique ; problème de Cauchy

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

problème bien posé ; système linéaire ; réalisation ; opérateur de transfert ; causalité ; problème de Cauchy ; calcul symbolique ; semi-groupe analytique ; croissance ; sous-espace invariant ; feedback ; minimalité ; mesure de Carleson ; système discret

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

groupe de permutations ; calcul symbolique ; algorithme génétique

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

base de Groebner ; invariant ; système dynamique ; bifurcation de Hopf ; calcul symbolique

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

équation différentielle hypergéométrique ; base de Groebner ; série hypergéométrique ; algèbre de Weyl ; D-module holonome ; fonction hypergéométrique ; calcul symbolique ; algèbre différentielle

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

calcul symbolique ; analyse numérique ; logiciel Maple

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

calcul formel ; système de programmation ; calcul symbolique

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

syzygie ; base de Groebner ; résultant ; subrésultant ; algèbre réelle ; calcul symbolique ; calcul formel

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

algorithme génétique ; polynôme ; calcul symbolique

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

calcul symbolique ; calcul formel

... Lire [+]

Simple sur les ouvrages

Avancée sur les ouvrages

Recherche multi-critères

Simple sur les revues

Avancée sur les revues

Bibliothèques de mathématique et de l'IREM

Documents calcul symbolique | enregistrements trouvés : 22

Le métier d'enseignant de mathématiques au tournant du XXIe siècle : université d'été Marseille 1999 -Paris : APMEP , 2001 . - 160 p. ; 24 cm
Nouveau

Calcul scientifique et symbolique : éléments de cours illustrés par des TP guidés sous les environnements Maple, MATLAB ou Scilab, SAGE sous Python Yger, Alain. -Paris : Ellipses , 2015 . - VII-422 p. ; 24 cm
ISBN 9782340006768
Nouveau

Mille ans d'histoire des mathématiques : 1001-2000, l'accès à la modernité Dir. Lehning, Hervé. -Paris : Pole , 2005 . - 146 p. ; 24 cm
ISBN 9782848840291
Nouveau

Faire des mathématiques avec un système de calcul formel. Tome 1 -Reims : CRDP , 1998 . - 167 p. ; 30 cm
ISBN 9782866333041
http://www.cndp.fr/crdp-reims/ressources/brochures/
Nouveau

Faire des maths ... avec Mu-Math : Un Logiciel de calcul symbolique Meyer, Etienne. -Strasbourg, : IREM de Strasbourg , 1988 . - 130 p. ; 30 cm
Nouveau

Computer-human interaction in symbolic computation Ed. Kajler, Norbert ; Préf. Scott, D. S.. -Wien : Springer , 1998 . - xi, 212 p. ; 24 cm
https://link.springer.com/bookseries/3073
Nouveau

Symbolic and numerical computation for artificial intelligence Ed. Donald, Bruce Randall ; Ed. Kapur, Deepak ; Ed. Mundy, Joseph L.. -London, San Diego, New York NY : Academic press , 1992 . - 369 p. ; 25 cm
Nouveau

Strichartz estimates and the Cauchy problem for the gravity water waves equations Alazard, Thomas ; Burq, Nicolas ; Zuilly, Claude. -Providence RI : American mathematical Society , 2018 . - v, 108 p. ; 26 cm
ISBN 9781470432034
https://www.ams.org/books/memo/year/2018/
Nouveau

Quantization on nilpotent Lie groups Fischer, Veronique ; Ruzhansky, Michael. -Basel : Birkhäuser , 2016 . - xiii, 557 p. ; 25 cm
ISBN 9783319295572
https://www.springer.com/la/book/9783319295572
Nouveau

Para-differential calculus and applications to the Cauchy problem for nonlinear systems Métivier, Guy. -Pisa : Scuola Normale Superiore , 2008 . - xi, 138 p. ; 24 cm
ISBN 9788876423291
Nouveau

Well-posed linear systems Staffans, Olof J.. -Cambridge : Cambridge university Press , 2005 . - xviii, 776 p. ; 24 cm
ISBN 9780521825849
Nouveau

Permutation group algorithms Seress, Akos. -Cambridge : Cambridge university Press , 2003 . - ix , 264 p. ; 24 cm
Nouveau

Computer algebra methods for equivariant dynamical systems Gatermann, Karin. -Berlin, Heidelberg, New York NY : Springer , 2000 . - xi, 153 p. ; 24 cm
https://link.springer.com/openurl.asp?genre=journal&issn=0075-8434
Nouveau

Groebner deformations of hypergeometric differential equations Saito, Mutsumi ; Sturmfels, Bernd ; Takayama, Nobuki. -Berlin, Heidelberg, New York NY : Springer , 2000 . - viii, 254 p. ; 24 cm
https://link.springer.com/openurl.asp?genre=journal&issn=1431-1550
Nouveau

Maths et Maple Ferrard, Jean-Michel. -Paris : Dunod , 1998 . - xii, 466 p. ; 24 cm
Nouveau

Advances in the design of symbolic computation systems Ed. Miola, A. ; Ed. Temperini, M.. -Wien : Springer , 1997 . - x, 259 p. ; 24 cm
https://link.springer.com/bookseries/3073
Nouveau

Algorithmic algebra Mishra, Bhubaneswar. -New York NY : Springer , 1993 . - xii, 416 p. ; 24 cm
ISBN 9780387940908
https://link.springer.com/bookseries/131
Nouveau

Effective polynomial computation Zippel, Richard. -Boston MA, Dordrecht, London : Kluwer Academic Publishers , 1993 . - xi, 363 p. ; 24 cm
https://link.springer.com/bookseries/6524
Nouveau

Computer algebra : symbolic and algebraic computation Ed. Buchberger, Bruno ; Ed. Collins, G.E. ; Ed. Loos, R.. -Wien : Springer , 1983 . - 283
Nouveau

Simple sur les ouvrages

Avancée sur les ouvrages

Recherche multi-critères

Simple sur les revues

Avancée sur les revues

Bibliothèques de mathématique et de l'IREM

Documents calcul symbolique | enregistrements trouvés : 22

Le métier d'enseignant de mathématiques au tournant du XXIe siècle : université d'été Marseille 1999 -Paris : APMEP , 2001 . - 160 p. ; 24 cm Nouveau

Calcul scientifique et symbolique : éléments de cours illustrés par des TP guidés sous les environnements Maple, MATLAB ou Scilab, SAGE sous Python Yger, Alain. -Paris : Ellipses , 2015 . - VII-422 p. ; 24 cm ISBN 9782340006768 Nouveau

Mille ans d'histoire des mathématiques : 1001-2000, l'accès à la modernité Dir. Lehning, Hervé. -Paris : Pole , 2005 . - 146 p. ; 24 cm ISBN 9782848840291 Nouveau

Faire des mathématiques avec un système de calcul formel. Tome 1 -Reims : CRDP , 1998 . - 167 p. ; 30 cm ISBN 9782866333041 http://www.cndp.fr/crdp-reims/ressources/brochures/ Nouveau

Faire des maths ... avec Mu-Math : Un Logiciel de calcul symbolique Meyer, Etienne. -Strasbourg, : IREM de Strasbourg , 1988 . - 130 p. ; 30 cm Nouveau

Computer-human interaction in symbolic computation Ed. Kajler, Norbert ; Préf. Scott, D. S.. -Wien : Springer , 1998 . - xi, 212 p. ; 24 cm https://link.springer.com/bookseries/3073 Nouveau

Symbolic and numerical computation for artificial intelligence Ed. Donald, Bruce Randall ; Ed. Kapur, Deepak ; Ed. Mundy, Joseph L.. -London, San Diego, New York NY : Academic press , 1992 . - 369 p. ; 25 cm Nouveau

Strichartz estimates and the Cauchy problem for the gravity water waves equations Alazard, Thomas ; Burq, Nicolas ; Zuilly, Claude. -Providence RI : American mathematical Society , 2018 . - v, 108 p. ; 26 cm ISBN 9781470432034 https://www.ams.org/books/memo/year/2018/ Nouveau

Quantization on nilpotent Lie groups Fischer, Veronique ; Ruzhansky, Michael. -Basel : Birkhäuser , 2016 . - xiii, 557 p. ; 25 cm ISBN 9783319295572 https://www.springer.com/la/book/9783319295572 Nouveau

Para-differential calculus and applications to the Cauchy problem for nonlinear systems Métivier, Guy. -Pisa : Scuola Normale Superiore , 2008 . - xi, 138 p. ; 24 cm ISBN 9788876423291 Nouveau

Well-posed linear systems Staffans, Olof J.. -Cambridge : Cambridge university Press , 2005 . - xviii, 776 p. ; 24 cm ISBN 9780521825849 Nouveau

Permutation group algorithms Seress, Akos. -Cambridge : Cambridge university Press , 2003 . - ix , 264 p. ; 24 cm Nouveau

Computer algebra methods for equivariant dynamical systems Gatermann, Karin. -Berlin, Heidelberg, New York NY : Springer , 2000 . - xi, 153 p. ; 24 cm https://link.springer.com/openurl.asp?genre=journal&issn=0075-8434 Nouveau

Groebner deformations of hypergeometric differential equations Saito, Mutsumi ; Sturmfels, Bernd ; Takayama, Nobuki. -Berlin, Heidelberg, New York NY : Springer , 2000 . - viii, 254 p. ; 24 cm https://link.springer.com/openurl.asp?genre=journal&issn=1431-1550 Nouveau

Maths et Maple Ferrard, Jean-Michel. -Paris : Dunod , 1998 . - xii, 466 p. ; 24 cm Nouveau

Advances in the design of symbolic computation systems Ed. Miola, A. ; Ed. Temperini, M.. -Wien : Springer , 1997 . - x, 259 p. ; 24 cm https://link.springer.com/bookseries/3073 Nouveau

Algorithmic algebra Mishra, Bhubaneswar. -New York NY : Springer , 1993 . - xii, 416 p. ; 24 cm ISBN 9780387940908 https://link.springer.com/bookseries/131 Nouveau

Effective polynomial computation Zippel, Richard. -Boston MA, Dordrecht, London : Kluwer Academic Publishers , 1993 . - xi, 363 p. ; 24 cm https://link.springer.com/bookseries/6524 Nouveau

Computer algebra : symbolic and algebraic computation Ed. Buchberger, Bruno ; Ed. Collins, G.E. ; Ed. Loos, R.. -Wien : Springer , 1983 . - 283 Nouveau

Le métier d'enseignant de mathématiques au tournant du XXIe siècle : université d'été Marseille 1999 -Paris : APMEP , 2001 . - 160 p. ; 24 cm
Nouveau

Calcul scientifique et symbolique : éléments de cours illustrés par des TP guidés sous les environnements Maple, MATLAB ou Scilab, SAGE sous Python Yger, Alain. -Paris : Ellipses , 2015 . - VII-422 p. ; 24 cm
ISBN 9782340006768
Nouveau

Mille ans d'histoire des mathématiques : 1001-2000, l'accès à la modernité Dir. Lehning, Hervé. -Paris : Pole , 2005 . - 146 p. ; 24 cm
ISBN 9782848840291
Nouveau

Faire des mathématiques avec un système de calcul formel. Tome 1 -Reims : CRDP , 1998 . - 167 p. ; 30 cm
ISBN 9782866333041
http://www.cndp.fr/crdp-reims/ressources/brochures/
Nouveau

Faire des maths ... avec Mu-Math : Un Logiciel de calcul symbolique Meyer, Etienne. -Strasbourg, : IREM de Strasbourg , 1988 . - 130 p. ; 30 cm
Nouveau

Computer-human interaction in symbolic computation Ed. Kajler, Norbert ; Préf. Scott, D. S.. -Wien : Springer , 1998 . - xi, 212 p. ; 24 cm
https://link.springer.com/bookseries/3073
Nouveau

Symbolic and numerical computation for artificial intelligence Ed. Donald, Bruce Randall ; Ed. Kapur, Deepak ; Ed. Mundy, Joseph L.. -London, San Diego, New York NY : Academic press , 1992 . - 369 p. ; 25 cm
Nouveau

Strichartz estimates and the Cauchy problem for the gravity water waves equations Alazard, Thomas ; Burq, Nicolas ; Zuilly, Claude. -Providence RI : American mathematical Society , 2018 . - v, 108 p. ; 26 cm
ISBN 9781470432034
https://www.ams.org/books/memo/year/2018/
Nouveau

Quantization on nilpotent Lie groups Fischer, Veronique ; Ruzhansky, Michael. -Basel : Birkhäuser , 2016 . - xiii, 557 p. ; 25 cm
ISBN 9783319295572
https://www.springer.com/la/book/9783319295572
Nouveau

Para-differential calculus and applications to the Cauchy problem for nonlinear systems Métivier, Guy. -Pisa : Scuola Normale Superiore , 2008 . - xi, 138 p. ; 24 cm
ISBN 9788876423291
Nouveau

Well-posed linear systems Staffans, Olof J.. -Cambridge : Cambridge university Press , 2005 . - xviii, 776 p. ; 24 cm
ISBN 9780521825849
Nouveau

Permutation group algorithms Seress, Akos. -Cambridge : Cambridge university Press , 2003 . - ix , 264 p. ; 24 cm
Nouveau

Computer algebra methods for equivariant dynamical systems Gatermann, Karin. -Berlin, Heidelberg, New York NY : Springer , 2000 . - xi, 153 p. ; 24 cm
https://link.springer.com/openurl.asp?genre=journal&issn=0075-8434
Nouveau

Groebner deformations of hypergeometric differential equations Saito, Mutsumi ; Sturmfels, Bernd ; Takayama, Nobuki. -Berlin, Heidelberg, New York NY : Springer , 2000 . - viii, 254 p. ; 24 cm
https://link.springer.com/openurl.asp?genre=journal&issn=1431-1550
Nouveau

Maths et Maple Ferrard, Jean-Michel. -Paris : Dunod , 1998 . - xii, 466 p. ; 24 cm
Nouveau

Advances in the design of symbolic computation systems Ed. Miola, A. ; Ed. Temperini, M.. -Wien : Springer , 1997 . - x, 259 p. ; 24 cm
https://link.springer.com/bookseries/3073
Nouveau

Algorithmic algebra Mishra, Bhubaneswar. -New York NY : Springer , 1993 . - xii, 416 p. ; 24 cm
ISBN 9780387940908
https://link.springer.com/bookseries/131
Nouveau

Effective polynomial computation Zippel, Richard. -Boston MA, Dordrecht, London : Kluwer Academic Publishers , 1993 . - xi, 363 p. ; 24 cm
https://link.springer.com/bookseries/6524
Nouveau

Computer algebra : symbolic and algebraic computation Ed. Buchberger, Bruno ; Ed. Collins, G.E. ; Ed. Loos, R.. -Wien : Springer , 1983 . - 283
Nouveau