skip to main content
Langue :
Afficher les résultats avec :

Résultats 1 - 10 sur 77  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
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

Disponible(->>)

2
First leaves. A tutorial introduction to Maple
Material Type:
Livre
Ajouter au Panier

First leaves. A tutorial introduction to Maple

CHAR, B.W

WATERLOO MAPLE SOFTWARE, 1990

Disponible(->>)

3
Maple V language reference manual
Material Type:
Livre
Ajouter au Panier

Maple V language reference manual

Char, Bruce W

Springer. New York, 1991

Disponible(->>)

4
Material Type:
Livre
Ajouter au Panier

MACSYMA reference manual : version 9.5

MIT PRESS, 1982

Disponible(->>)

5
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

Disponible(->>)

6
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

Disponible(->>)

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

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

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

Disponible(->>)

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

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  (61)
  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  (52)
  4. Autres open sub menu

Sujet 

  1. Calcul formel  (48)
  2. Algebra. Data processing  (24)
  3. Algorithmes  (14)
  4. Mathématiques. Informatique  (9)
  5. Calcul formel. Actes de congrès  (9)
  6. Calcul formel. Logiciels  (9)
  7. Computer science  (8)
  8. Informatique  (8)
  9. Codage  (7)
  10. Maple (logiciel)  (6)
  11. Codes correcteurs d'erreurs (théorie de l'information)  (6)
  12. Coding theory  (6)
  13. Computer science. Mathematics  (6)
  14. Symbolic and Algebraic Manipulation  (6)
  15. Coding and Information Theory  (5)
  16. Algebra. Data processing Congresses  (5)
  17. Informatique. Mathématiques  (5)
  18. Algorithm Analysis and Problem Complexity  (4)
  19. Computer algorithms  (4)
  20. Computational complexity  (4)
  21. Computer software  (4)
  22. Automates mathématiques, Théorie des  (4)
  23. Algorithms  (4)
  24. Calcul formel. Thèses et écrits académiques  (3)
  25. Maple (Computer file)  (3)
  26. Mathématiques. Logiciels  (3)
  27. Ordinateurs. Programmation  (3)
  28. Mathematica (logiciel)  (3)
  29. Complexité de calcul (informatique)  (3)
  30. Calcul formel. Manuels d'enseignement supérieur  (3)
  31. Gröbner, Bases de  (3)
  32. Mathematics. Data processing  (3)
  33. Discrete Mathematics in Computer Science  (3)
  34. Équations différentielles. Solutions numériques Actes de congrès  (2)
  35. Electronic data processing  (2)
  36. Parallélisme (informatique)  (2)
  37. Logiciels. Développement  (2)
  38. Data Encryption  (2)
  39. Fonctions récursives  (2)
  40. Logique mathématique  (2)
  41. Algebra  (2)
  42. Anneaux associatifs. Informatique  (2)
  43. Gröbner bases  (2)
  44. Calcul formel. Logiciels Étude et enseignement (secondaire)  (2)
  45. Algèbres commutatives  (2)
  46. Numeric Computing  (2)
  47. Décidabilité (logique mathématique)  (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. Singularités (mathématiques). Actes de congrès  (2)
  55. Intelligence artificielle  (2)
  56. Fonctions calculables  (2)
  57. Chiffrement (informatique)  (2)
  58. Telecommunication  (2)
  59. Calcul formel. Logiciels Étude et enseignement  (2)
  60. Langages formels  (2)
  61. Algorithmes. Actes de congrès  (2)
  62. Data encryption (Computer science)  (2)
  63. Singularities (Mathematics)  (2)
  64. Anneaux filtrés  (2)
  65. Software engineering  (2)
  66. Algèbre  (2)
  67. Syzygies  (1)
  68. Système d’équations modulaires  (1)
  69. Programming Languages, Compilers, Interpreters  (1)
  70. Signal processing. Congresses  (1)
  71. Algèbre. Informatique  (1)
  72. Modèles mathématiques. Manuels d'enseignement supérieur  (1)
  73. Computer-Aided Engineering (CAD, CAE) and Design  (1)
  74. Calcul numérique rigoureux  (1)
  75. Géométrie algébrique  (1)
  76. Machines séquentielles, Théorie des  (1)
  77. Groupes, Théorie des. Informatique Actes de congrès  (1)
  78. Processor Architectures  (1)
  79. Logiciels libres  (1)
  80. Équations différentielles non linéaires. Solutions numériques  (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. Redfern, Darren  (2)
  9. Weispfenning, Volker  (2)
  10. Beckermann, Bernhard  (2)
  11. University of Waterloo.Canada  (2)
  12. Li, Huishi  (2)
  13. Poli, Alain  (2)
  14. Saux Picart, Philippe  (2)
  15. Davenport, James Harold  (2)
  16. Char, Bruce W  (2)
  17. Schost, Eric  (2)
  18. Zizi, Jacqueline  (2)
  19. Equipe de recherche en didactique des mathématiques. Paris  (2)
  20. Connan, Guillaume  (2)
  21. Yap, Chee-Keng  (2)
  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. Boldo, Sylvie  (1)
  30. Lamnabhi-Lagarrigue, Françoise  (1)
  31. Davenport, A  (1)
  32. Calmet, Jacques  (1)
  33. Villard, Gilles  (1)
  34. Buchberger, Bruno  (1)
  35. Herzog, Jürgen  (1)
  36. Jenks, Richard D  (1)
  37. Forets Irurtia, Marcelo Alejandro  (1)
  38. Chudnovsky, David V  (1)
  39. Siret, Y  (1)
  40. Denise, Alain  (1)
  41. Pomès, Roland  (1)
  42. CORLISS, G.F  (1)
  43. Kantor, William M  (1)
  44. Kredel, Heinz  (1)
  45. Feijs, Loe M. G  (1)
  46. Minoux, Michel  (1)
  47. Ng, Edward W  (1)
  48. Mignotte, Maurice  (1)
  49. Association for computing machinery.Special interest group on symbolic and algebraic manipulation.Etats-Unis  (1)
  50. Gessel, Ira  (1)
  51. Ng, Edward N  (1)
  52. CHAR, B.W  (1)
  53. Culioli, Jean-Christophe  (1)
  54. Minsky, Marvin  (1)
  55. Pfister, Gerhard  (1)
  56. Mishra, Bhubaneswar  (1)
  57. Akritas, Alkiviadis G  (1)
  58. Majewski, Miroslaw  (1)
  59. Autebert, Jean-Michel  (1)
  60. Labahn, George  (1)
  61. Joldes, Mioara Maria  (1)
  62. Heninger, Nadia  (1)
  63. Salvy, Bruno  (1)
  64. Bell, Jason P  (1)
  65. Wolper, Pierre  (1)
  66. Finkelstein, Larry  (1)
  67. Wechler, Wolfgang  (1)
  68. Pernet, Clément  (1)
  69. Jonsson, Bengt  (1)
  70. Lobstein, Antoine  (1)
  71. Thiéry, Nicolas  (1)
  72. Jōhō Shori Gakkai (Japon)  (1)
  73. Cremona, John  (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  (22)
  3. 1994 à 1999  (16)
  4. 2000 à 2006  (19)
  5. Après 2006  (13)
  6. Autres open sub menu

Langue 

  1. Anglais  (46)
  2. Français  (29)
  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.