Introduction au calcul symbolique et aux mathématiques expérimentales
Ce livre est le second (après Le système Maple) d'une série de quatre tomes qui constituent un ouvrage intitulé " Introduction au calcul symbolique et aux mathématiques expérimentales ". Elle s'adresse tant aux élèves des classes préparatoires qu'aux étudiants en informatique ou en mathématiques, en physique ou en chimie, désireux d'en savoir plus sur le calcul symbolique. Proposant une nouvelle manière d'appréhender les mathématiques, son objectif est de montrer, dans le contexte du programme de mathématiques de premier cycle, comment se servir de manière intelligente d'un système de calcul formel. Les auteurs ont donc volontairement privilégié l'approche expérimentale et algorithmique : de nombreux résultats mathématiques sont des lois universelles que l'on peut mettre en évidence expérimentalement. Dans ce tome 2 consacré à l'algèbre générale et linéaire, le premier chapitre montre comment manipuler les différentes structures algébriques élémentaires (magmas, monoïdes, groupes, anneaux et corps), à partir de l'étude expérimentale de situations diverses : arbres binaires et codes préfixes, monoïdes quotients du monoïde libre, classification des groupes finis, séries formelles rationnelles, corps finis et codages détecteurs d'erreurs... Le chapitre suivant présente les fonctions du package linalg de Maple, chaque procédure donnant lieu au développement suivant : décomposition de Frobenius, déterminant de Cauchy, fonctions de Schur, puissances extérieures d'une matrice, approximation d'une suite de points par une courbe de Bézier, conditionnement d'une matrice, résolution d'une équation aux dérivées partielles avec conditions aux limites par la méthode des différences finies... L'ouvrage est utilement complété par des exercices et leurs corrigés, et des annexes portant sur les fonctions de Maple et les fonctions nargs et args.