https://editions.lavoisier.fr/flux/nouveautes-algebre-arithmetique.atom
Éditions Lavoisier : Nouveautés des éditions Lavoisier
2012-09-01T12:00:00+01:00
Éditions Lavoisier
editions@lavoisier.fr
https://images.lavoisier.fr/logo/lavoisier2014-print.jpg
https://images.lavoisier.fr/logo/lavoisier2014-print.jpg
Les nouveautés en Algèbre / arithmétique
© 2024 Éditions Lavoisier
https://editions.lavoisier.fr/mathematiques/algebre-lineaire-dans-rn/haddadi/hermes-science-publications/informatique/livre/9782746239074
Algèbre linéaire dans Rn
2012-09-01T12:00:00+01:00
<img src="https://images.lavoisier.fr/vignettes/2656787.jpg" alt="Couverture de l'ouvrage :Algèbre linéaire dans Rn" /><br /><p style="margin-top: 0">
L’<b>algèbre linéaire</b> permet de résoudre les
équations dites linéaires utilisées en mathématiques, en informatique,
en mécanique, en sciences naturelles ou en sciences sociales. Du point
de vue de l’informaticien, la résolution passe par l’ordinateur. Or, ce
dernier ne peut pas tout faire. Il y a des limites d’ordre qualitatives
et quantitatives que la machine ne peut dépasser, et d’autres qu’elle ne
peut franchir que dans un temps excessivement long. Cet ouvrage
théorique et pratique expose tour à tour :
</p>
<p style="margin-top: 0">
– les matrices et leurs opérations ;
</p>
<p style="margin-top: 0">
– l’espace vectoriel Rn ;
</p>
<p style="margin-top: 0">
– l’espace vectoriel Rn muni du produit scalaire ;
</p>
<p style="margin-top: 0">
– les systèmes d’équations linéaires ;
</p>
<p style="margin-top: 0">
– les transformations linéaires, les valeurs et vecteurs propres.
</p>
<p style="margin-top: 0">
Il contient également un chapitre spécifique sur la complexité théorique
des problèmes posés en algèbre linéaire (résolution d’un système
d’équations linéaires, calcul de l’inverse d’une matrice, du
déterminant, du rang, etc.) ainsi qu’une annexe introduisant la théorie
de la complexité.
</p>
<p style="margin-top: 0">
<i><b>Algèbre linéaire</b> <b>dans Rn</b> </i>tire son
originalité de la présentation des grands concepts de l’<b>algèbre
linéaire</b> et ceux de l’algorithmique et de l’informatique
théorique. L’auteur, Salim Haddadi, est professeur en <b>recherche
opérationnelle</b>. Ses recherches portent sur l’optimisation
combinatoire et la théorie de la complexité.
</p>
https://editions.lavoisier.fr/mathematiques/l-unification-des-mathematiques/parrochia/hermes-science-publications/informatique/livre/9782746238381
L'unification des mathématiques
2012-07-01T12:00:00+01:00
<img src="https://images.lavoisier.fr/vignettes/2639528.jpg" alt="Couverture de l'ouvrage :L'unification des mathématiques" /><br />La pensée mathématique offre un panorama impressionnant de recherches dans les multiples directions dessinées par les réorganisations successives que la matière a connues. Cet ouvrage porte un éclairage philosophique et historique sur certains développements qui donne un sens aux transformations subies par la pensée mathématique au cours du temps pour actualiser le portrait déjà ancien de "l'unité des mathématiques". Deux mouvements symétriques d'unification se sont produits en mathématiques. Le premier est l'aboutissement du long chemin qui, depuis les Grecs, a tendu à résoudre l'opposition de la géométrie et de l'arithmétique, puis de la géométrie et de l'algèbre. Le second mode d'unification date de la fin des années 1960. Via la géométrie algébrique, il tend à reconstruire l'ensemble des mathématiques sur la base des correspondances de Langlands, lesquelles résorbent intégralement l'opposition de l'algèbre et de l'analyse, et constituent un fabuleux dictionnaire pour la physique de demain. L'unification des mathématiques introduit le non-mathématicien à ce double mouvement qui inspire, par ailleurs, une nouvelle philosophie.
https://editions.lavoisier.fr/mathematiques/theorie-des-graphes-et-applications-avec-exercices-et-problemes-2-ed-revue-et-augmentee/fournier/hermes-science-publications/informatique/livre/9782746232150
Théorie des graphes et applications avec exercices et problèmes (2° Éd. revue et augmentée)
2011-04-01T12:00:00+01:00
<img src="https://images.lavoisier.fr/vignettes/2535375.jpg" alt="Couverture de l'ouvrage :Théorie des graphes et applications avec exercices et problèmes (2° Éd. revue et augmentée)" /><br /><p style="margin-top: 0">
<b>Théorie des graphes et applications</b> est un ouvrage, à la
fois pédagogique et complet, qui présente une étude des principaux
aspects de la théorie des graphes et de ses applications, en particulier
celles relevant de l'optimisation combinatoire.
</p>
<p style="margin-top: 0">
Il expose ainsi en détail des sujets significatifs associés, tels que le
problème de l'emploi du temps avec les colorations, l'affectation
optimale avec les couplages et le "voyageur de commerce" avec les cycles
hamiltoniens.
</p>
<p style="margin-top: 0">
Dans cette nouvelle édition de <b>Théorie des graphes et
applications</b>, le thème des chemins optimaux - aux nombreuses
applications - est enrichi de nouveaux algorithmes présentés de façon
originale. Chaque chapitre est accompagné d'exercices de niveaux
différents.
</p>
<p style="margin-top: 0">
</p>
<p style="margin-top: 0">
Des problèmes généraux sont proposés en fin d'ouvrage. Les algorithmes
randomisés de graphes y sont aussi traités. Deux annexes aident le
lecteur, en particulier pour une introduction au délicat sujet de la
complexité algorithmique.
</p>
https://editions.lavoisier.fr/mathematiques/analyse-et-controle-des-equations-differentielles/destuynder/hermes-science-publications/livre/9782746229891
Analyse et contrôle des équations différentielles
2010-09-01T12:00:00+01:00
<img src="https://images.lavoisier.fr/vignettes/2141227.jpg" alt="Couverture de l'ouvrage :Analyse et contrôle des équations différentielles" /><br /><b>Analyse et contrôle des équations différentielles</b>
dresse un panorama des différents problèmes auxquels l’ingénieur doit
faire face dans la modélisation et la résolution des systèmes dynamiques
régis par des équations différentielles ordinaires. Il présente un grand
nombre d’aspects concrets, tels que les cycles limites, les instabilités
paramétriques, la régulation et la commande optimale. Cette dernière est
devenue incontournable dans les bureaux d’études, notamment avec
l’émergence de la<b> mécatronique</b>, <i>science nouvelle
qui couple</i> l<b>'informatique embarquée</b>, le <b>traitement du
signal</b>, la <b>métrologie</b>, <b>l'algorithmique haute
performance, </b>le<b> contrôle, </b>la <b>mécanique </b>et la<b>
rhéologie des matériaux</b>. L’extension des systèmes dynamiques
aux modèles biologiques permet de poser le problème de dosage
thérapeutique comme un problème de contrôle. <i>Les élèves
de grandes écoles et les étudiants universitaires</i> trouveront
dans cet ouvrage une approche simplifiée leur permettant d’apporter des
solutions opérationnelles aux nombreuses questions concrètes des <i>sciences
de l’ingénieur</i>. Enfin, plusieurs indications sur
l'implémentation opérationnelle sont proposées, en particulier à travers
des exercices corrigés.
https://editions.lavoisier.fr/mathematiques/morphologie-mathematique-2/talbot/hermes-science-publications/traite-ic2/livre/9782746225930
Morphologie mathématique 2
2010-09-01T12:00:00+01:00
<img src="https://images.lavoisier.fr/vignettes/2140961.jpg" alt="Couverture de l'ouvrage :Morphologie mathématique 2" /><br />La<b> morphologie mathématique</b> est historiquement la première
théorie non-linéaire dans le domaine du <b>traitement des images</b>.
Elle repose sur trois piliers qui font son succès : une théorie solide, un
champ d’application vaste, et une mise en œuvre efficace. L’objectif
premier de ce livre est de proposer un état de l’art didactique de la
morphologie mathématique. Il offre également un contenu original et
novateur. Il rassemble <i>les contributions de 26 auteurs parmi les plus
éminents du domaine</i>. <i>Le premier volume</i> exposait les
fondements théoriques des opérateurs, ainsi que la théorie du filtrage et
de la segmentation. <i>Ce deuxième volume</i> présente les méthodes
pour estimer et choisir, donne des principes algorithmiques, propose
quelques extensions, et enfin, montre comment mettre en œuvre la théorie
aux travers d'exemples d'applications pratiques. Ce livre n’a aucun
équivalent à l’heure actuelle, un tel effort de synthèse n’ayant pas été
réalisé depuis vingt ans. Faisant le point sur un domaine en pleine
mutation, il fera référence dans les années à venir.
https://editions.lavoisier.fr/mathematiques/courbes-elliptiques-une-presentation-elementaire-pour-la-cryptographie/guillot/hermes-science-publications/informatique/livre/9782746223929
Courbes elliptiques : une présentation élémentaire pour la cryptographie
2010-02-01T12:00:00+01:00
<img src="https://images.lavoisier.fr/vignettes/2140766.jpg" alt="Couverture de l'ouvrage :Courbes elliptiques : une présentation élémentaire pour la cryptographie" /><br />Cet ouvrage propose une introduction aux <b>courbes elliptiques</b> pour la cryptographie. Il décrit leur utilisation pour la protection de l'information et présente les développements les plus récents, en particulier la cryptographie bilinéaire, rendant des services de sécurité avancés comme le chiffrement avec l'identité. <br />Cette approche didactique de la géométrie algébrique est accessible aux étudiants en mathématiques qui trouveront dans l'ouvrage <b>courbes elliptiques</b> les démonstrations de tous les résultats. Les cryptologues y puiseront les éléments et les algorithmes nécessaires aux réalisations les plus sûres et les plus efficaces de cryptographie elliptique.
https://editions.lavoisier.fr/mathematiques/probleme-sat-progres-et-defis/sais/hermes-science-publications/programmation-par-contraintes/livre/9782746218864
Problème SAT : progrès et défis
2008-05-01T12:00:00+01:00
<img src="https://images.lavoisier.fr/vignettes/2140295.jpg" alt="Couverture de l'ouvrage :Problème SAT : progrès et défis" /><br />Cet ouvrage analyse les techniques actuelles du problème de satisfiabilité propositionnelle (SAT) et étudie ses défis majeurs. Ce problème fondamental se trouve au cœur de la théorie de la complexité et intervient dans de nombreux domaines tels que la logique mathématique, la déduction automatique et la programmation par contraintes. Les avancées spectaculaires obtenues sur la résolution pratique de ce problème NP-Complet de référence font aujourd'hui de SAT un formalisme puissant de modélisation et de résolution de nombreux problèmes importants incluant la vérification de matériel et de logiciels. Ces résultats ont bénéficié d'une synergie forte entre la théorie, les développements algorithmiques et les applications industrielles. Problème SAT, progrès et défis couvre divers aspects qui v
https://editions.lavoisier.fr/mathematiques/informatique-graphique-modelisation-geometrique-et-animation/bechmann/hermes-science-publications/traite-ic2/livre/9782746215146
Informatique graphique, modélisation géométrique et animation
2007-02-01T12:00:00+01:00
<img src="https://images.lavoisier.fr/vignettes/2139961.jpg" alt="Couverture de l'ouvrage :Informatique graphique, modélisation géométrique et animation" /><br />Ce traité est découpé en deux parties, l'une dédiée à la modélisation géométrique, l'autre à l'animation. Depuis 25 ans le domaine de la modélisation géométrique a connu un large essor, caractérisé par un foisonnement hétéroclite d'approches et de modèles. La première partie de ce traité, regroupe, en 6 chapitres, les principaux modèles de représentation des objets utilisés de nos jours : les modèles classiques, les modèles topologiques, les surfaces paramétriques, les surfaces implicites, et la modélisation sous contraintes. L'animation par ordinateur consiste à faire évoluer dans le temps une scène d'objets modélisés. La seconde partie de ce traité parlant de l'animation est découpée en 4 chapitres : animation traditionnelle par ordinateur, animation par déformations et métamorphoses, animation par modèles générateurs et animation comportementale.
https://editions.lavoisier.fr/mathematiques/informatique-graphique-et-rendu/peroche/hermes-science-publications/traite-ic2/livre/9782746215153
Informatique graphique et rendu
2007-02-01T12:00:00+01:00
<img src="https://images.lavoisier.fr/vignettes/2139962.jpg" alt="Couverture de l'ouvrage :Informatique graphique et rendu" /><br />Cet ouvrage est découpé en deux parties, l'une dédiée à l'algorithmique géométrique de base, l'autre au rendu proprement dit. Dans la première partie, le pipeline graphique, des éléments de géométrie, des algorithmes de tracés géométriques et de géométrie algorithmique 2D sont présentés. La seconde partie est consacrée à l'élimination des parties cachées, aux calculs d'éclairement locaux, aux textures et aux représentations alternatives pour la synthèse d'images, aux algorithmes pour l'éclairement global, au rendu par points, au rendu expressif et au rendu basé images
https://editions.lavoisier.fr/mathematiques/applications-mathematiques-avec-matlab-vol-1-algebre-lineaire-et-geometrie-rappel-de-cours-et-exercices-corriges/jolivet/hermes-science-publications/livre/9782746209947
Applications mathématiques avec MATLAB Vol. 1 : algèbre linéaire et géométrie : rappel de cours et exercices corrigés
2004-10-01T12:00:00+01:00
<img src="https://images.lavoisier.fr/vignettes/2139467.jpg" alt="Couverture de l'ouvrage :Applications mathématiques avec MATLAB Vol. 1 : algèbre linéaire et géométrie : rappel de cours et exercices corrigés" /><br />L'objectif de cette série - en trois tomes - "Applications Mathématiques avec Matlab®" est de comprendre et d'utiliser les outils mathématiques fondamentaux de premier cycle en s'appuyant sur l'utilisation d'un logiciel de calcul numérique et symbolique. Les rappels de cours sont accompagnés d'illustrations et d'exemples modèles. De nombreux exercices sont ensuite proposés. Ils sont suivis de solutions détaillées avec ce logiciel. Dans la réalisation de cet ouvrage, les auteurs se sont appuyés sur leur expérience d'enseignement à différents niveaux de la formation universitaire, en particulier sur celle des cours, travaux dirigés et travaux pratiques élaborés en commun au département informatique de l'IUT du Havre. Ce premier tome est consacré à l'algèbre linéaire et à la géométrie. Les notions essentielles de ce logiciel sont exposées au début de ce manuel.
https://editions.lavoisier.fr/mathematiques/approximation-polynomiale-des-problemes-np-difficiles-optima-locaux-et-rapport-differentiel/monnot/hermes-science-publications/livre/9782746205970
Approximation polynomiale des problèmes NP-difficiles : optima locaux et rapport différentiel
2002-12-01T12:00:00+01:00
<img src="https://images.lavoisier.fr/vignettes/2139075.jpg" alt="Couverture de l'ouvrage :Approximation polynomiale des problèmes NP-difficiles : optima locaux et rapport différentiel" /><br />Cet ouvrage traite les problèmes courants de recherche opérationnelle et d'informatique fondamentale tels le problème du voyageur de commerce, l'ordonnancement, la stabilité, la satisfaisabilité optimale, etc., sous le double angle de l'approximation polynomiale et de l'optimalité locale. Les optima locaux constituent un outil souvent utilisé pour aborder ces problèmes : s'il n'est pas raisonnable d'envisager qu'une solution soit la meilleure parmi toutes les solutions possibles, il est en revanche souvent intéressant d'assurer qu'elle le soit dans un espace de solutions voisines. Cette approche est notamment exploitée par les métaheuristiques ou même par les méthodes basées sur la séparation et l'évaluation , l'objet de ce livre est de l'exploiter pour l'approximation polynomiale. Ainsi, notre approche se pose en termes de classification des problèmes vis-à-vis du bon comportement de leurs optima locaux plutôt qu'en termes de conception d'algorithmes dédiés ou de détermination d'optima locaux particuliers : on cherche à déterminer quels sont les problèmes qui ont de bonnes solutions pour l'optimalité locale, pour une structure particulière de voisinage. Cet ouvrage s'adresse aux chercheurs en optimisation combinatoire, ainsi qu'aux chercheurs en recherche opérationnelle en général , il intéressera également toute personne confrontée aux applications de l'optimisation.
https://editions.lavoisier.fr/mathematiques/spectral-methods-for-axisymmetric-domains-series-in-applied-mathematics-n-3/bernardi/tec-et-doc/livre/9782842990701
Spectral Methods for Axisymmetric Domains (Series in applied mathematics N° 3)
1999-03-01T12:00:00+01:00
<img src="https://images.lavoisier.fr/vignettes/2173894.jpg" alt="Couverture de l'ouvrage :Spectral Methods for Axisymmetric Domains (Series in applied mathematics N° 3)" /><br />This book is devoted to the mathematical and numerical analysis of partial differential equations set in a three-dimensional axisymmetric domain, that is, a domain generated by rotation of a bidimensional meridian domain around an axis. Thus a three-dimensional axisymmetric boundary value problem can be reduced to a countable family of two-dimensional equations, by expanding the data and unknowns in Fourier series, and an infinite-order approximation is obtained by truncating the Fourier series. Spectral methods for axisymmetric domains contains a deep analysis requiring precise and optimal parameter-dependent estimates, which is aimed at readers interested in mathematical and numerical analysis. In addition, due to the specificity of the geometry, an accurate discretization of a three-dimensional equation is obtained by solving a small number of two-dimensional systems, which is very efficient for many real-life problems and should be of great help for engineers.
https://editions.lavoisier.fr/mathematiques/equations-aux-derivees-partielles-et-applications-articles-dedies-a-jacqueslouis-lions/tec-et-doc/livre/9782842990411
Équations aux dérivées partielles et applications
1998-05-01T12:00:00+01:00
<img src="https://images.lavoisier.fr/vignettes/2173846.jpg" alt="Couverture de l'ouvrage :Équations aux dérivées partielles et applications" /><br />Ce livre rassemble des articles de recherche originaux et de niveau international concernant les mathématiques appliquées, et plus particulièrement les équations aux dérivées partielles. Les divers domaines de ce vaste champ de recherche sont couverts : existence, régularité et stabilité d'équations aux dérivées partielles non linéaires , explosion en temps fini et formation de singularités , contrôle optimal et optimisation , contrôle de forme , sentinelles , problèmes de contrôlabilité , interpolation , théorie de la complexité , problèmes de mécanique des solides : élasticité, problèmes de vibration et d'acoustique , homogénéisation , problèmes de mécanique des fluides : équations d'Euler, équations de Navier-Stokes , problèmes de météorologie, de climatologie et d'océanographie , assimilation de données , analyse numérique : éléments finis, majorations d'erreur... Les articles ont été rédigés en français et en anglais, par des élèves et de proches collaborateurs de Jacques-Louis Lions, professeur au Collège de France, et lui sont dédiés.
https://editions.lavoisier.fr/mathematiques/elements-de-geometrie-mecanique/balbiani/hermes-science-publications/livre/9782866014209
Eléments de géométrie mécanique
1994-06-01T12:00:00+01:00
<img src="https://images.lavoisier.fr/vignettes/2214946.jpg" alt="Couverture de l'ouvrage :Eléments de géométrie mécanique" /><br />Eléments de géométrie mécanique examine deux grandes classes de géométrie : la géométrie synthétique, construite sur la notion de point, à partir de laquelle Euclide a développé son projet, et la géométrie des corps, construite sur la notion de sphère, que l'on pourrait appeler géométrie de la perception. Après l'examen des méthodes de déduction automatique en géométrie, on montre comment mécaniser la notion de preuve géométrique en raisonnant directement sur les figures. Un intérêt tout particulier est accordé à la résolution de contraintes géométriques qui est un problème essentiel en informatique.
https://editions.lavoisier.fr/mathematiques/logique-tome-1-methodes-pour-l-informatique-fondamentale-retirage-1998-version-brochee/gochet/hermes-science-publications/livre/9782866012496
Logique - Tome 1
1990-10-01T12:00:00+01:00
<img src="https://images.lavoisier.fr/vignettes/2214776.jpg" alt="Couverture de l'ouvrage :Logique - Tome 1" /><br />Ce premier volume, Méthodes pour l'informatique fondamentale, contient un exposé des calculs des propositions et des prédicats, ainsi qu'une introduction aux théories du premier ordre. L'accent est mis sur l'aspect calculatoire, essentiel pour l'application en informatique et IA.Les nombreuses qualités didactiques de ce livre, le souci permanent de culture et d'histoire, la grande précision et la justesse technique de l'exposé, la volonté de traiter les aspects récents de la logique ayant donné lieu à des applications (telle la méthode de résolution qui est à la base du langage informatique Prolog) en feront un ouvrage de référence pour de longues années, utile à de nombreux étudiants. Pour la Science Voici l'ouvrage de logique qui manquait en français entre les manuels de vulgarisation et les traités spécialisés pour les troisièmes cycles de mathématiques... Ici, bien des éléments sont présents pour prétendre à la place de référence pour les cours de premier cycle universitaire. Bibliographie de la philosophie, septembre 1996