A partir de cette page vous pouvez :
| Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
8 résultat(s) recherche sur le mot-clé 'algorithm'
Affiner la recherche Générer le flux rss de la rechercheGraphs, Networks and Algorithms / Dieter Jungnickel
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 21104 68C398 imprimé / autre CRDM 68/INFORMATIQUE Disponible
Titre : Solving polynomial equations : foundations, algorithms, and applications Type de document : texte imprimé Auteurs : Dickenstein, Alicia Ed. ; Ioannis Z. Ed. Emiris Editeur : Springer-Verlag Année de publication : 2005 Collection : Algorithms and Computation in Mathematics num. 14 Importance : xiii - 425 p. ISBN/ISSN/EAN : 978-3-540-24326-7 Note générale : commande M. Borer Langues : Anglais Catégories : 12-XX Field theory and polynomials:12-06 Proceedings, conferences, collections, etc.
13-XX Commutative rings and algebras:13-06 Proceedings, conferences, collections, etc.
65-XX Numerical analysis:65-06 Proceedings, conferences, collections, etc.Mots-clés : system solving polynomial computer algebra complexity algorithm field theory Index. décimale : 12B Publication collective Solving polynomial equations : foundations, algorithms, and applications [texte imprimé] / Dickenstein, Alicia Ed. ; Ioannis Z. Ed. Emiris . - [S.l.] : Springer-Verlag, 2005 . - xiii - 425 p.. - (Algorithms and Computation in Mathematics; 14) .
ISBN : 978-3-540-24326-7
commande M. Borer
Langues : Anglais
Catégories : 12-XX Field theory and polynomials:12-06 Proceedings, conferences, collections, etc.
13-XX Commutative rings and algebras:13-06 Proceedings, conferences, collections, etc.
65-XX Numerical analysis:65-06 Proceedings, conferences, collections, etc.Mots-clés : system solving polynomial computer algebra complexity algorithm field theory Index. décimale : 12B Publication collective Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 17822 12B06 imprimé / autre CRDM 12/THEORIE DES CORPS ET POLYNOMES Disponible
Titre : Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité Type de document : texte imprimé Auteurs : Gilles Dowek, Auteur Editeur : Palaiseau : Éd. de l'École polytechnique Année de publication : 2010 Collection : Informatique Importance : 193 p. Format : 24 cm ISBN/ISSN/EAN : 978-2-7302-1569-5 Langues : Français Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.)
03-XX Mathematical logic and foundations:03BXX General logic:03B10 Classical first-order logic
03-XX Mathematical logic and foundations:03BXX General logic:03B25 Decidability of theories and sets of sentences
68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.)Mots-clés : proof algorithm predicate logic model soundness completeness decidability Turing machine halting problem lambda calculus rewriting system Index. décimale : 104I Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité [texte imprimé] / Gilles Dowek, Auteur . - Palaiseau : Éd. de l'École polytechnique, 2010 . - 193 p. ; 24 cm. - (Informatique) .
ISBN : 978-2-7302-1569-5
Langues : Français
Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.)
03-XX Mathematical logic and foundations:03BXX General logic:03B10 Classical first-order logic
03-XX Mathematical logic and foundations:03BXX General logic:03B25 Decidability of theories and sets of sentences
68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.)Mots-clés : proof algorithm predicate logic model soundness completeness decidability Turing machine halting problem lambda calculus rewriting system Index. décimale : 104I Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 21099 104I31 imprimé / autre CRDM 104/LICENCE ET MAITRISE Disponible
Titre : Étude numérique de quelques problèmes non linéaires apparaissant en physique des plasmas Type de document : texte imprimé Auteurs : Gourgeon, Hervé Editeur : Orsay : Université Paris Sud Année de publication : 1978 Collection : Publ. Math. d'Orsay num. 78-10 Importance : 82 p. Langues : Français Catégories : 35-XX Partial differential equations:35RXX Miscellaneous topics involving partial differential equations :35R35 Free boundary problems for PDE
65-XX Numerical analysis:65NXX Partial differential equations, boundary value problems:65N30 Finite elements, Rayleigh-Ritz and Galerkin methods, finite methods
65-XX Numerical analysis:65Z05 Applications to physicsMots-clés : fixed point theorem evolution problem parabolic problem free boundary problem numerical results algorithm convergence of the discrete solutions finite elements method fixed boundary problems numerical approximation plasma physics nonlinear problems explicit machine computation Étude numérique de quelques problèmes non linéaires apparaissant en physique des plasmas [texte imprimé] / Gourgeon, Hervé . - Orsay : Université Paris Sud, 1978 . - 82 p.. - (Publ. Math. d'Orsay; 78-10) .
Langues : Français
Catégories : 35-XX Partial differential equations:35RXX Miscellaneous topics involving partial differential equations :35R35 Free boundary problems for PDE
65-XX Numerical analysis:65NXX Partial differential equations, boundary value problems:65N30 Finite elements, Rayleigh-Ritz and Galerkin methods, finite methods
65-XX Numerical analysis:65Z05 Applications to physicsMots-clés : fixed point theorem evolution problem parabolic problem free boundary problem numerical results algorithm convergence of the discrete solutions finite elements method fixed boundary problems numerical approximation plasma physics nonlinear problems explicit machine computation Exemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire
Titre : Intégration des fonctions algébriques Type de document : texte imprimé Auteurs : Davenport, J. Editeur : Moscou : Paix Mir Année de publication : 1985 Importance : 190 p. Note générale : Don de Monsieur Andronikov Langues : Russe Langues originales : Anglais Catégories : 12-XX Field theory and polynomials:12-04 Explicit machine computation and programs (not the theory of computation or programming)
14-XX Algebraic geometry:14-04 Explicit machine computation and programs (not the theory of computation or programming)
14-XX Algebraic geometry:14HXX Curves:14H05 Algebraic functions; function fieldsMots-clés : elliptic integral torsion point algorithm elliptic curve transcendental function rational function integration of algebraic functions Index. décimale : 14C Monographie Intégration des fonctions algébriques [texte imprimé] / Davenport, J. . - Moscou : Paix Mir, 1985 . - 190 p.
Don de Monsieur Andronikov
Langues : Russe Langues originales : Anglais
Catégories : 12-XX Field theory and polynomials:12-04 Explicit machine computation and programs (not the theory of computation or programming)
14-XX Algebraic geometry:14-04 Explicit machine computation and programs (not the theory of computation or programming)
14-XX Algebraic geometry:14HXX Curves:14H05 Algebraic functions; function fieldsMots-clés : elliptic integral torsion point algorithm elliptic curve transcendental function rational function integration of algebraic functions Index. décimale : 14C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 3145 14C52 imprimé / autre CRDM 14/GEOMETRIE ALGEBRIQUE Disponible
Permalink
Permalink
Permalink
