Computer Algebra in Scientific Computing

📘 About This Book

Ce livre constitue les actes du 16e atelier international sur le calcul formel en calcul scientifique (Computer Algebra in Scientific Computing), CASC 2014, qui s'est tenu à Varsovie, en Pologne, en septembre 2014. Les 33 articles complets présentés ont été soigneusement évalués et sélectionnés pour être inclus dans cet ouvrage. Les articles abordent des sujets tels que l'étude de l'algèbre polynomiale, représentée par des contributions consacrées à la factorisation de polynômes bivariés creux à l'aide de files de priorité, la construction de polynômes irréductibles par l'indice de Newton, la recherche de racines de polynômes réels au moyen d'itérations matricielles et polynomiales, l'application de la méthode des valeurs propres avec symétrie pour résoudre des systèmes polynomiaux issus de l'analyse des vibrations de structures mécaniques dotées de propriétés de symétrie, l'application de systèmes de Gröbner pour calculer le nombre de réduction (absolu) d'idéaux polynomiaux, l'application de la décomposition algébrique cylindrique pour résoudre les problèmes d'élimination des quantificateurs, la certification de racines approchées de systèmes polynomiaux surdéterminés et singuliers via la récupération d'une représentation univariée rationnelle exacte à partir de données numériques approchées, ainsi que de nouveaux algorithmes parallèles pour les opérations sur les polynômes univariés (évaluation multipoints,interpolation) basés sur des techniques d'arbres de sous-produits.

📖 Résumé

Computer Algebra in Scientific Computing, édité par Vladimir P. Gerdt, sert de recueil d'actes définitif pour le 16e atelier international sur le calcul formel en calcul scientifique, connu sous le nom de CASC 2014, qui s'est déroulé à Varsovie, en Pologne, en septembre 2014. S'étendant sur 515 pages, cette compilation académique rassemble trente-trois articles complets soigneusement évalués et sélectionnés qui mettent en lumière les dernières avancées, percées théoriques et applications pratiques à l'intersection du calcul formel et du calcul scientifique. Le volume capture un instantané dynamique de la recherche académique et industrielle en cours, abordant des défis computationnels complexes et présentant des techniques algorithmiques innovantes conçues pour manipuler des structures mathématiques complexes. Au cœur de l'ouvrage se trouve un accent marqué sur l'algèbre polynomiale, pilier fondamental du calcul symbolique. Plusieurs contributions se penchent sur des méthodes sophistiquées de factorisation de polynômes bivariés creux en utilisant des structures de données de files de priorité, optimisant ainsi l'efficacité de la manipulation algébrique. D'autres articles explorent la construction de polynômes irréductibles grâce à l'application ingénieuse de l'indice de Newton, offrant de nouvelles perspectives sur la décomposition et la classification des polynômes. La recherche de racines de polynômes réels constitue un autre thème majeur, les auteurs présentant des techniques avancées utilisant des itérations matricielles et polynomiales pour approcher les racines avec une haute précision et fiabilité. Le texte fait également le pont entre la théorie algébrique pure et l'ingénierie du monde réel ainsi que les sciences physiques. Une application remarquable mise en avant dans ce recueil concerne l'utilisation de la méthode des valeurs propres intégrée aux principes de symétrie pour résoudre des systèmes polynomiaux complexes. Ces systèmes apparaissent fréquemment dans l'analyse rigoureuse des vibrations de structures mécaniques possédant des propriétés de symétrie inhérentes, démontrant comment des outils algébriques abstraits peuvent résoudre des problèmes concrets d'ingénierie mécanique. De plus, le volume explore l'application des systèmes de Gröbner, un cadre puissant en algèbre commutative, pour traiter des systèmes polynomiaux paramétriques et élargir la boîte à outils disponible pour les scientifiques computationnels. Tout au long de ses pages, le livre maintient un niveau académique rigoureux, reflétant le processus strict d'évaluation par les pairs qui a régi la sélection des trente-trois articles inclus. Les chercheurs, développeurs de logiciels et mathématiciens appliqués trouveront dans ce texte un riche répertoire de connaissances spécialisées. En documentant les efforts collaboratifs et les découvertes de pointe présentées lors de CASC 2014, Vladimir P. Gerdt a préparé une ressource essentielle qui non seulement préserve la trace historique d'un rassemblement scientifique important, mais repousse également les limites de ce que le raisonnement mathématique automatisé et le calcul formel peuvent accomplir dans le calcul scientifique moderne.

🎯 Leçons clés

⚖️ Pour et contre

❓ Questions fréquentes

💬 💬 Commentaires des lecteurs (0)