Catégories
Documents disponibles dans cette catégorie (6)
Faire une suggestion Affiner la recherche
Etendre la recherche sur niveau(x) vers le bas
Basic numerical mathematics : 2., Numerical algebra / John TODD
Titre : Basic numerical mathematics : 2., Numerical algebra Type de document : texte imprimé Auteurs : John TODD, Auteur Editeur : Academic Press, Inc. Année de publication : 1977 Importance : 216 p. ISBN/ISSN/EAN : 978-0-12-692402-2 Note générale : Contents
Notations and abbreviations
Preface
Solution to selected problems
Bibliographical remarks
IndexLangues : Anglais (eng) Catégories : Calcul formel
Nombres algébriques, Théorie desIndex. décimale : 519.4 Analyse numérique appliquée Résumé : Manipulation of vectors and matrices
Norms of vectors and matrices
Induced norms
The inversion problem I : Theoretical arithmetic
The inversion problem II : Practical computation
The characteristic value problem - Generalities
The power method, deflation, inverse iteration
Characteristic values
Iterative methods for the solution of systems Ax=b
Application : solution of a boundary value problem
Application : least squares curve fitting
Singular value decomposition and pesudo-inversesExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00008853 519.4 TOD Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 500 - Sciences - Mathématiques Disponible Calcul formel : systèmes et algorithmes de manipulations algébriques / J. DAVENPORT
Titre : Calcul formel : systèmes et algorithmes de manipulations algébriques Type de document : texte imprimé Auteurs : J. DAVENPORT ; Y. SIRET ; E. TOURNIER Editeur : Masson Année de publication : 1986 Collection : Études et recherches en informatique Importance : 263 p. ISBN/ISSN/EAN : 978-2-225-80990-3 Note générale : Table des matières
Introduction
Bibliographie
Index
AnnexeCatégories : Algorithmes
Calcul formelIndex. décimale : 519.6 Optimisation mathématique Résumé : Comment utiliser un système de calcul formel
Le problème de la représentation des données
Simplification polynômiale
Algorithme avancée
Intégration formelle et équations différentiellesExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00003601 519.6 DAV Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 500 - Sciences - Mathématiques Disponible Calculabilité et décidabilité : Une introduction / Jean-Michel AUTEBERT
Titre : Calculabilité et décidabilité : Une introduction Type de document : texte imprimé Auteurs : Jean-Michel AUTEBERT Editeur : Masson Année de publication : 1992 Importance : 118 p. ISBN/ISSN/EAN : 978-2-225-82632-0 Note générale : Table des matières
Avant-propos
Bibliographie
IndexCatégories : Automates cellulaires
Calcul formel
Décidabilité (logique mathématique)
Fonctions calculables
Logique symbolique et mathématiqueIndex. décimale : 511.3 Logique symbolique (mathématique) Résumé : Introduction
Le modèle des machines RAM
Le modèle des machines de Turing
Thèse de Church
Les problèmes indécidables
Aperçu sur la complexitéExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00000654 511.3 AUT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 500 - Sciences - Mathématiques Disponible Computational Differential Equations / K. ERIKSSON
Titre : Computational Differential Equations Type de document : texte imprimé Auteurs : K. ERIKSSON ; D. ESTEP ; P. HANSBO ; C. JOHNSON Editeur : Cambridge : Cambridge Univeristy Press Année de publication : 1996 Importance : 538 p. ISBN/ISSN/EAN : 978-0-521-56738-1 Note générale : Contents
Preface
Introduction
Langues : Anglais (eng) Catégories : Calcul formel
Equations différentiellesIndex. décimale : 515.3 Calcul différentiel et équations différentielles Résumé : The Vision of Leibniz
A Brief History
A Review of Calculus
A Short Review of Linear Algebra
Polynomial Approximation
Galerkin's Method
Solving Linear Algebraic Systems
THE ARCHETYPES
Two-Point Boundary Value Problems
Scalar Initial Value Problems
Initial Value Problems for Systems
Calculus of Variations
Computional Mathematical Modeling
PROBLEMS IN SEVERAL DIMENSIONS
Calculus of Several Variables
Piecewise Polynomials in Several Dimensions
The Poisson Equation
The Heat Equation
The Wave Equation
Stationary Convection-Diffusion Problems
Time Dependent Convection-Diffusion Problems
The Eigenvalue Problem for an Elliptic Operator
The Power of Abstraction
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire Introduction à la calculabilité / Pierre WOLPER
Titre : Introduction à la calculabilité Type de document : texte imprimé Auteurs : Pierre WOLPER Editeur : InterEditions Année de publication : 1991 Collection : IIA Importance : 268 p. ISBN/ISSN/EAN : 978-2-7296-0372-4 Note générale : Table des matières
Préface
Exercices
Bibliographie
IndexCatégories : Automates mathématiques, Théorie des
Calcul formel
Fonctions calculables
Langages formelsIndex. décimale : 005.13 Langages de programmation Résumé : Les automates finis
Les grammaires régulières
Automates à pile et langage hors-contexte
Les machines de Turing
Les fonctions récursives
La non-calculabilité
La complexitéExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00002170 005.13 WOL Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible Introduction to Maple / André HECK
Titre : Introduction to Maple Type de document : texte imprimé Auteurs : André HECK Editeur : Springer Verlag Année de publication : 1993 Importance : 497 p. ISBN/ISSN/EAN : 978-0-387-97662-4 Note générale : Preface
Contents
Introduction
Bibliography
IndexCatégories : Analyse mathématique
Calcul formel
Logiciels
Maple (logiciel)Index. décimale : 510 Mathématiques Résumé : Introduction to computer algebra
The first steps : Calculus on numbers
Variables and names
Getting around with maple
Polynomials and rational functions
Internal data representation and substitution
Manipulation of polynomials and rational expressions
Functions
Differentiation
Integration and summation
Truncated series expansions, power series, and limits
Composite data types
Simplification
Graphics
Solving equations
Differential equations
Linear algebra : Basics
Linear algebra : ApplicationsExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00005686 510 HEC Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 500 - Sciences - Mathématiques Disponible