skip to main content
Langue :
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Recherche simple

Résultats 1 - 10 sur 71  pour Tout le catalogue

triés par : triés par : pertinenceOr hit Enter to replace sort method
résultats 1 2 3 4 5 next page
N'afficher que
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Automatic differentiation of algorithms : theory, implementation, and application
Automatic differentiation of algorithms : theory, implementation, and application
Material Type:
Livre 		Ajouter au Panier

Automatic differentiation of algorithms : theory, implementation, and application

GRIEWANK, A ; CORLISS, G.F

PROCEEDINGS SERIES

SIAM, 1991

Indisponible     (->>)

2
Computational aspects of algebraic curves
Computational aspects of algebraic curves
Material Type:
Livre 		Ajouter au Panier

Computational aspects of algebraic curves

Shaska, Tanush (Ed.)

Appartient à la collection : Lecture notes series on computing, 13, ISSN 1793-1223

Singapore. World scientific, cop. 2005

Indisponible     (->>)

3
MACSYMA reference manual : version 9.5
MACSYMA reference manual : version 9.5
Material Type:
Livre 		Ajouter au Panier

MACSYMA reference manual : version 9.5

MIT PRESS, 1982

Indisponible     (->>)

4
DESIR-II : étude des solutions de systèmes d'équations différentielles linéaires dans le champ complexe
DESIR-II : étude des solutions de systèmes d'équations différentielles linéaires dans le champ complexe
Material Type:
Livre 		Ajouter au Panier

DESIR-II : étude des solutions de systèmes d'équations différentielles linéaires dans le champ complexe

IMAG, 0

Indisponible     (->>)

5
Maple V by example
Maple V by example
Material Type:
Livre 		Ajouter au Panier

Maple V by example

Abell, Martha L ; Braselton, James

New York. Boston. San Diego. AP Professional, cop. 1994

Indisponible     (->>)

6
Calcul formel : systèmes et algorithmes de manipulations algébriques
Calcul formel : systèmes et algorithmes de manipulations algébriques
Material Type:
Livre 		Ajouter au Panier

Calcul formel : systèmes et algorithmes de manipulations algébriques

Davenport, James Harold ; Siret, Yvon ; Tournier, Évelyne (1945-...) ; Lazard, Daniel (Préf.)

Appartient à la collection : E.R.I. Etudes et recherches en informatique, ISSN 0763-2770

Paris. Milan. Barcelone [etc.]. Masson, 1993, cop. 1993

Indisponible     (->>)

7
Computer algebra : systems and algorithms for algebraic computation
Computer algebra : systems and algorithms for algebraic computation
Material Type:
Livre 		Ajouter au Panier

Computer algebra : systems and algorithms for algebraic computation

Davenport, James Harold ; Siret, Y ; Tournier, Évelyne (1945-...) ; Davenport, A (Trad.)

London. San Diego. Academic Press, cop. 1993

Indisponible     (->>)

8
Computer algebra handbook : foundations, applications, systems
Computer algebra handbook : foundations, applications, systems
Material Type:
Autre 		Ajouter au Panier

Computer algebra handbook : foundations, applications, systems

Grabmeier, Johannes (Ed.) ; Kaltofen, Erich (Ed.) ; Weispfenning, Volker (1944-...) (Ed.)

New York. Springer, cop.2003

Indisponible     (->>)

9
Faire des mathématiques avec un système de calcul formel : action d'innovation pédagogique..
Faire des mathématiques avec un système de calcul formel : action d'innovation pédagogique..
Material Type:
Livre 		Ajouter au Panier

Faire des mathématiques avec un système de calcul formel : action d'innovation pédagogique..

France. Ministère de l'éducation nationale, de la recherche et de la technologie Direction de la technologie. France. Sous-direction des technologies éducatives et des technologies de l'information et de la communication. Equipe de recherche en didactique des mathématiques (Paris)

Reims. Centre régional de documentation pédagogique de Champagne-Ardenne, 1998

Disponible(->>)

10
Computational algebraic geometry
Computational algebraic geometry
Material Type:
Livre 		Ajouter au Panier

Computational algebraic geometry

Schenck, Hal

Appartient à la collection : London Mathematical Society student texts, 58, ISSN 0963-1631

Cambridge, UK. New York. Cambridge University Press, cop. 2003

Indisponible     (->>)

Résultats 1 - 10 sur 71  pour Tout le catalogue

triés par : triés par : pertinenceOr hit Enter to replace sort method
résultats 1 2 3 4 5 next page

Refine Search Results

N'afficher que

  1. Ressources en ligne (15)

Affiner vos résultats

Type de ressource 

  1. Livres  (55)
  2. ebooks  (12)
  3. Thèses ou mémoires  (3)
  4. Autres  (1)
  5. Autres open sub menu

Localisation 

  1. Descartes  (11)
  2. Descartes - CDR  (2)
  3. Monod  (46)
  4. Autres open sub menu

Sujet 

  1. Calcul formel  (44)
  2. Algebra. Data processing  (23)
  3. Algorithmes  (13)
  4. Calcul formel. Actes de congrès  (9)
  5. Computer science  (8)
  6. Calcul formel. Logiciels  (8)
  7. Informatique  (8)
  8. Codage  (7)
  9. Mathématiques. Informatique  (6)
  10. Coding theory  (6)
  11. Computer science. Mathematics  (6)
  12. Symbolic and Algebraic Manipulation  (6)
  13. Coding and Information Theory  (5)
  14. Algebra. Data processing Congresses  (5)
  15. Informatique. Mathématiques  (5)
  16. Codes correcteurs d'erreurs (théorie de l'information)  (5)
  17. Algorithm Analysis and Problem Complexity  (4)
  18. Computer algorithms  (4)
  19. Maple (logiciel)  (4)
  20. Computer software  (4)
  21. Calcul formel. Thèses et écrits académiques  (3)
  22. Mathématiques. Logiciels  (3)
  23. Computational complexity  (3)
  24. Mathematica (logiciel)  (3)
  25. Automates mathématiques, Théorie des  (3)
  26. Calcul formel. Manuels d'enseignement supérieur  (3)
  27. Algorithms  (3)
  28. Gröbner, Bases de  (3)
  29. Discrete Mathematics in Computer Science  (3)
  30. Équations différentielles. Solutions numériques Actes de congrès  (2)
  31. Electronic data processing  (2)
  32. Parallélisme (informatique)  (2)
  33. Logiciels. Développement  (2)
  34. Data Encryption  (2)
  35. Fonctions récursives  (2)
  36. Logique mathématique  (2)
  37. Algebra  (2)
  38. Anneaux associatifs. Informatique  (2)
  39. Gröbner bases  (2)
  40. Calcul formel. Logiciels Étude et enseignement (secondaire)  (2)
  41. Algèbres commutatives  (2)
  42. Numeric Computing  (2)
  43. Décidabilité (logique mathématique)  (2)
  44. Ordinateurs. Programmation  (2)
  45. Communications Engineering, Networks  (2)
  46. Numerical calculations  (2)
  47. Analyse numérique  (2)
  48. MuPAD (logiciel)  (2)
  49. Derive (logiciel)  (2)
  50. Engineering  (2)
  51. Complexité de calcul (informatique)  (2)
  52. Singularités (mathématiques). Actes de congrès  (2)
  53. Intelligence artificielle  (2)
  54. Fonctions calculables  (2)
  55. Chiffrement (informatique)  (2)
  56. Telecommunication  (2)
  57. Calcul formel. Logiciels Étude et enseignement  (2)
  58. Langages formels  (2)
  59. Algorithmes. Actes de congrès  (2)
  60. Data encryption (Computer science)  (2)
  61. Singularities (Mathematics)  (2)
  62. Mathematics. Data processing  (2)
  63. Anneaux filtrés  (2)
  64. Software engineering  (2)
  65. Algèbre  (2)
  66. Parallel programming (Computer science). Congresses  (1)
  67. TI-89 (calculatrice). Étude et enseignement (secondaire)  (1)
  68. Bases de Gröbner  (1)
  69. Systèmes, Analyse de. Actes de congrès  (1)
  70. Scilab (logiciel)  (1)
  71. Mathématiques  (1)
  72. Machine theory. Data processing  (1)
  73. Modèles mathématiques. Manuels d'enseignement supérieur  (1)
  74. Calcul formel. Étude et enseignement (secondaire)  (1)
  75. Algèbre, logiciels  (1)
  76. Temps réel (informatique)  (1)
  77. Systèmes d'information. Codes numériques  (1)
  78. Computers, Special purpose  (1)
  79. Engineering mathematics  (1)
  80. Fonctions D-finies  (1)
  81. Autres open sub menu

Auteur 

  1. École normale supérieure de Lyon  (3)
  2. Tournier, Évelyne  (3)
  3. Gathen, Joachim von zur  (3)
  4. Université de Lyon.2015-...  (3)
  5. Laboratoire de l'informatique du parallélisme.Lyon  (3)
  6. École doctorale en Informatique et Mathématiques de Lyon  (3)
  7. Gerhard, Jürgen  (3)
  8. Weispfenning, Volker  (2)
  9. Beckermann, Bernhard  (2)
  10. University of Waterloo.Canada  (2)
  11. Li, Huishi  (2)
  12. Poli, Alain  (2)
  13. Saux Picart, Philippe  (2)
  14. Davenport, James Harold  (2)
  15. Schost, Eric  (2)
  16. Zizi, Jacqueline  (2)
  17. Equipe de recherche en didactique des mathématiques. Paris  (2)
  18. Connan, Guillaume  (2)
  19. Yap, Chee-Keng  (2)
  20. Redfern, Darren  (1)
  21. GRIEWANK, A  (1)
  22. Japan Society for Software Science and Technology  (1)
  23. Gårding, Lars  (1)
  24. Knuth, Donald Ervin  (1)
  25. Dumont, Thierry.docteur en mathématiques  (1)
  26. Grognet, Stéphane  (1)
  27. Watanabe, Shunro  (1)
  28. Siret, Yvon  (1)
  29. Papini, Odile  (1)
  30. Lamnabhi-Lagarrigue, Françoise  (1)
  31. Fossorier, Marc  (1)
  32. Davenport, A  (1)
  33. Calmet, Jacques  (1)
  34. Huguet, Llorenç  (1)
  35. Hoeij, Mark van  (1)
  36. Corteel, Sylvie  (1)
  37. Mezzarobba, Marc  (1)
  38. Mattson, Harold  (1)
  39. Chudnovsky, David V  (1)
  40. Denise, Alain  (1)
  41. Commission inter-IREM Mathématiques et informatique.France  (1)
  42. France. Sous-direction des technologies éducatives et des technologies de l'information et de la communication  (1)
  43. Casamayou-Boucau, Alexandre  (1)
  44. Gessel, Ira  (1)
  45. Culioli, Jean-Christophe  (1)
  46. France. Ministère de l'éducation nationale, de la recherche et de la technologie Direction de la technologie  (1)
  47. Minsky, Marvin  (1)
  48. Wolfmann, Jacques  (1)
  49. Akritas, Alkiviadis G  (1)
  50. Autebert, Jean-Michel  (1)
  51. Labahn, George  (1)
  52. Joldes, Mioara Maria  (1)
  53. Meulien, Matthias Emmanuel  (1)
  54. Grabmeier, Johannes  (1)
  55. Becker, Thomas  (1)
  56. Laboratoire d'Analyse et d'Architecture des Systèmes.Toulouse  (1)
  57. Nagata, Morio  (1)
  58. Wolper, Pierre  (1)
  59. Institut de recherche sur l'enseignement des mathématiques. Rennes  (1)
  60. Pernet, Clément  (1)
  61. Pous, Damien  (1)
  62. Cohen, Nathann  (1)
  63. Huet, Gérard. informaticien  (1)
  64. Jonsson, Bengt  (1)
  65. Thiéry, Nicolas  (1)
  66. Jōhō Shori Gakkai (Japon)  (1)
  67. Jeannerod, Claude-Pierre  (1)
  68. National science foundation.Etats-Unis  (1)
  69. Roy, Marie-Françoise  (1)
  70. Neiger, Vincent  (1)
  71. Maltey, François  (1)
  72. Gianni, Patrizia  (1)
  73. Foissy, Loïc  (1)
  74. Schenck, Hal  (1)
  75. Della Dora, Jean  (1)
  76. Braselton, James  (1)
  77. Singer, Michael F  (1)
  78. Dumas, Laurent  (1)
  79. Fitch, John  (1)
  80. Mora, Teo  (1)
  81. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
Affiner
  1. Avant 1989  (6)
  2. 1989 à 1993  (17)
  3. 1994 à 1999  (15)
  4. 2000 à 2006  (19)
  5. Après 2006  (13)
  6. Autres open sub menu

Langue 

  1. Anglais  (44)
  2. Français  (27)
  3. Autres open sub menu

Vous n'avez pas trouvé ce que vous cherchiez ?

Vous pouvez relancer votre recherche :
  • dans le SUDOC (catalogue français des bibliothèques de l'enseignement supérieur et de la recherche)
  • dans WorldCat (catalogue international)
  • dans Google Scholar
  • dans Isidore (moteur de recherche du CNRS)
  • dans BASE (Bielefeld Academic Search Engine)

Vous pouvez aussi :
  • Bibliothèque Diderot de Lyon 5, parvis René Descartes BP 7000 69342 Lyon cedex 07 FRANCE

Recherche dans les bases de données distantes en cours. Merci de patienter.