skip to main content
Langue :
Ouverture adaptée

Tous nos services sont accessibles sur rendez-vous.
Ouverture adaptée

Tous nos services sont accessibles sur rendez-vous.
Afficher les résultats avec :

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

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
Material Type:
Livre
Ajouter au Panier

MACSYMA reference manual : version 9.5

MIT PRESS, 1982

Indisponible     (->>)

2
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     (->>)

3
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     (->>)

4
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(->>)

5
Algorithms for computer algebra
Material Type:
Livre
Ajouter au Panier

Algorithms for computer algebra

Geddes, Keith O (1947-...) ; Czapor, Stephen R (1957-...) ; Labahn, George (1951-...)

Boston. Dordrecht. London. Kluwer Academic publ, cop. 1992

Indisponible     (->>)

6
Un logiciel de calcul formel en Seconde
Material Type:
Livre
Ajouter au Panier

Un logiciel de calcul formel en Seconde

Institut de recherche sur l'enseignement des mathématiques (Rennes)

[Rennes]. IREM, Université de Rennes I, DL 2000

Disponible(->>)

7
Mathématiques concrètes : fondations pour l'informatique
Material Type:
Livre
Ajouter au Panier

Mathématiques concrètes : fondations pour l'informatique

Graham, Ronald Lewis (1935-...) ; Knuth, Donald Ervin (1938-...) ; Patashnik, Oren (1954-...) ; Denise, Alain (Trad.)

Paris. Vuibert, DL 2003

Indisponible     (->>)

8
Mathematica : le système informatique pour les mathématiques
Material Type:
Livre
Ajouter au Panier

Mathematica : le système informatique pour les mathématiques

Wolfram, Stephen (1959-...) ; Larsen, Renaud (Trad.) ; Culioli, Jean-Christophe (1959-...) (Trad.)

Paris. Bonn. Reading (Mass.) [etc.]. Addison-Wesley France, copyright 1995

Disponible(->>)

9
Étude des modes d'appropriation de calculatrices complexes par des élèves de lycée et des stratégies développées par les enseignants pour l'intégration de ces outils à l'enseignement des mathématiques : rapport
Material Type:
Livre
Ajouter au Panier

Étude des modes d'appropriation de calculatrices complexes par des élèves de lycée et des stratégies développées par les enseignants pour l'intégration de ces outils à l'enseignement des mathématiques : rapport

Equipe de recherche en didactique des mathématiques (Paris)

Appartient à la collection : Cahier de DIDIREM, numéro spécial 3, ISSN 2102-4871

Paris. IREM, Université Paris 7 Denis Diderot, DL 1995

Disponible(->>)

10
Computer algebra
Material Type:
Livre
Ajouter au Panier

Computer algebra

Chudnovsky, David V (1947-...) (Ed.) ; Jenks, Richard D (Ed.) ; National science foundation (Etats-Unis) (Ed.)

Appartient à la collection : Lecture notes in pure and applied mathematics, v. 113, ISSN 0075-8469

New York. M. Dekker, cop. 1989

Indisponible     (->>)

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

résultats 1 2 3 4 5 next page

Refine Search Results

N'afficher que

  1. Ressources en ligne (18)

Affiner vos résultats

Type de ressource 

  1. Livres  (56)
  2. ebooks  (15)
  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  (47)
  4. Autres open sub menu

Sujet 

  1. Calcul formel  (46)
  2. Algebra. Data processing  (26)
  3. Algorithmes  (17)
  4. Calcul formel. Actes de congrès  (9)
  5. Calcul formel. Logiciels  (9)
  6. Computer science  (8)
  7. Informatique  (8)
  8. Symbolic and Algebraic Manipulation  (8)
  9. Codage  (7)
  10. Mathématiques. Informatique  (6)
  11. Informatique. Mathématiques  (6)
  12. Computer software  (6)
  13. Coding theory  (6)
  14. Computer science. Mathematics  (6)
  15. Algebra  (5)
  16. Coding and Information Theory  (5)
  17. Algebra. Data processing Congresses  (5)
  18. Maple (logiciel)  (5)
  19. Codes correcteurs d'erreurs (théorie de l'information)  (5)
  20. Algorithms  (5)
  21. Algorithm Analysis and Problem Complexity  (4)
  22. Computer algorithms  (4)
  23. Calcul formel. Thèses et écrits académiques  (3)
  24. Mathématiques. Logiciels  (3)
  25. Computational complexity  (3)
  26. Mathematics  (3)
  27. Mathematica (logiciel)  (3)
  28. Automates mathématiques, Théorie des  (3)
  29. Calcul formel. Manuels d'enseignement supérieur  (3)
  30. Gröbner, Bases de  (3)
  31. Discrete Mathematics in Computer Science  (3)
  32. Algèbre  (3)
  33. Équations différentielles. Solutions numériques Actes de congrès  (2)
  34. Electronic data processing  (2)
  35. Parallélisme (informatique)  (2)
  36. Logiciels. Développement  (2)
  37. Data Encryption  (2)
  38. Fonctions récursives  (2)
  39. Logique mathématique  (2)
  40. Anneaux associatifs. Informatique  (2)
  41. Gröbner bases  (2)
  42. Calcul formel. Logiciels Étude et enseignement (secondaire)  (2)
  43. Algèbres commutatives  (2)
  44. Numeric Computing  (2)
  45. Décidabilité (logique mathématique)  (2)
  46. Ordinateurs. Programmation  (2)
  47. Mathematical Software  (2)
  48. Communications Engineering, Networks  (2)
  49. Numerical calculations  (2)
  50. Analyse numérique  (2)
  51. MuPAD (logiciel)  (2)
  52. Derive (logiciel)  (2)
  53. Engineering  (2)
  54. Complexité de calcul (informatique)  (2)
  55. Singularités (mathématiques). Actes de congrès  (2)
  56. Intelligence artificielle  (2)
  57. Fonctions calculables  (2)
  58. Chiffrement (informatique)  (2)
  59. Engineering mathematics  (2)
  60. Telecommunication  (2)
  61. Calcul formel. Logiciels Étude et enseignement  (2)
  62. Langages formels  (2)
  63. Algorithmes. Actes de congrès  (2)
  64. Data encryption (Computer science)  (2)
  65. Singularities (Mathematics)  (2)
  66. Mathematics. Data processing  (2)
  67. Polynômes  (2)
  68. Anneaux filtrés  (2)
  69. Software engineering  (2)
  70. Équations différentielles linéaires. Modèles mathématiques  (1)
  71. Computer aided design  (1)
  72. Corps finis. Manuels d'enseignement supérieur  (1)
  73. Algebra, Universal  (1)
  74. Calcul formel. Étude et enseignement (secondaire)  (1)
  75. Édition scientifique  (1)
  76. Algorithmes. Programmation  (1)
  77. Temps réel (informatique)  (1)
  78. Systèmes d'information. Codes numériques  (1)
  79. Combinatoire énumérative  (1)
  80. Artificial intelligence  (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. Labahn, George  (2)
  16. Schost, Eric  (2)
  17. Zizi, Jacqueline  (2)
  18. Equipe de recherche en didactique des mathématiques. Paris  (2)
  19. Connan, Guillaume  (2)
  20. Yap, Chee-Keng  (2)
  21. Redfern, Darren  (1)
  22. Tambour, Torbjörn  (1)
  23. Japan Society for Software Science and Technology  (1)
  24. Dumont, Thierry.docteur en mathématiques  (1)
  25. Grognet, Stéphane  (1)
  26. Watanabe, Shunro  (1)
  27. Siret, Yvon  (1)
  28. Bréhard, Florent  (1)
  29. Bosma, Wieb  (1)
  30. Boldo, Sylvie  (1)
  31. Lamnabhi-Lagarrigue, Françoise  (1)
  32. Davenport, A  (1)
  33. Calmet, Jacques  (1)
  34. Villard, Gilles  (1)
  35. Buchberger, Bruno  (1)
  36. Herzog, Jürgen  (1)
  37. Jenks, Richard D  (1)
  38. Forets Irurtia, Marcelo Alejandro  (1)
  39. Chudnovsky, David V  (1)
  40. Siret, Y  (1)
  41. Denise, Alain  (1)
  42. Kantor, William M  (1)
  43. Kredel, Heinz  (1)
  44. Feijs, Loe M. G  (1)
  45. Ng, Edward W  (1)
  46. Mignotte, Maurice  (1)
  47. Association for computing machinery.Special interest group on symbolic and algebraic manipulation.Etats-Unis  (1)
  48. Langer, Ulrich  (1)
  49. Gessel, Ira  (1)
  50. Ng, Edward N  (1)
  51. Culioli, Jean-Christophe  (1)
  52. Minsky, Marvin  (1)
  53. Pfister, Gerhard  (1)
  54. Mishra, Bhubaneswar  (1)
  55. Akritas, Alkiviadis G  (1)
  56. Majewski, Miroslaw  (1)
  57. Autebert, Jean-Michel  (1)
  58. Joldes, Mioara Maria  (1)
  59. Heninger, Nadia  (1)
  60. Salvy, Bruno  (1)
  61. Becker, Thomas  (1)
  62. Bell, Jason P  (1)
  63. Wolper, Pierre  (1)
  64. Finkelstein, Larry  (1)
  65. Wechler, Wolfgang  (1)
  66. Pernet, Clément  (1)
  67. Jonsson, Bengt  (1)
  68. Cannon, John  (1)
  69. Cohen, Henri  (1)
  70. Thiéry, Nicolas  (1)
  71. Jōhō Shori Gakkai (Japon)  (1)
  72. Cremona, John  (1)
  73. Enns, Richard H  (1)
  74. Neiger, Vincent  (1)
  75. Larsen, Renaud  (1)
  76. Schenck, Hal  (1)
  77. Della Dora, Jean  (1)
  78. Faugère, Jean-Charles  (1)
  79. Fitch, John  (1)
  80. Mora, Teo  (1)
  81. Autres open sub menu

Date de parution 

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

Langue 

  1. Anglais  (49)
  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 :

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