Computer Algebra in Scientific Computing

📘 About This Book

Dieses Buch stellt den Proceedings-Band des 16. Internationalen Workshops für Computeralgebra in der wissenschaftlichen Rechnen (Computer Algebra in Scientific Computing, CASC 2014) dar, der im September 2014 in Warschau, Polen, stattfand. Die 33 eingereichten Langfassungen von Beiträgen wurden sorgfältig begutachtet und für die Aufnahme in dieses Buch ausgewählt. Die Beiträge behandeln Themen wie Studien zur Polynomalgebra, die durch Beiträge zur Faktorisierung dünnbesetzter bivariater Polynome mittels Prioritäts-Warteschlangen vertreten sind, die Konstruktion irreduzibler Polynome unter Verwendung des Newton-Index, das Finden reeller Polynomwurzeln mittels Matrix- und Polynomiterationen, die Anwendung der Eigenwertmethode mit Symmetrie zur Lösung von Polynomsystemen, die bei der Schwingungsanalyse mechanischer Strukturen mit Symmetrieeigenschaften auftreten, die Anwendung von Gröbner-Systemen zur Berechnung der (absoluten) Reduktionszahl von Polynomidealen, die Anwendung zylindrischer algebraischer Zerlegung zur Lösung von Quantoreneliminierungsproblemen, die Zertifizierung approximativer Wurzeln überbestimmter und singulärer Polynomsysteme durch die Rekonstruktion einer exakten rationalen univariaten Darstellung aus approximativen numerischen Daten sowie neue parallele Algorithmen für Operationen an univariaten Polynomen (Multipunktevaluation, Interpolation) basierend auf Unterproduktbaum-Techniken.

📖 Zusammenfassung

Computer Algebra in Scientific Computing, herausgegeben von Vladimir P. Gerdt, dient als definitiver Tagungsband für den 16. Internationalen Workshop für Computeralgebra im wissenschaftlichen Rechnen, bekannt als CASC 2014, der im September 2014 in Warschau, Polen, stattfand. Mit einem Umfang von 515 Seiten versammelt diese wissenschaftliche Kompilation dreiunddreißig sorgfältig begutachtete und ausgewählte vollständige Arbeiten, die die neuesten Fortschritte, theoretischen Durchbrüche und praktischen Anwendungen an der Schnittstelle von Computeralgebra und wissenschaftlichem Rechnen hervorheben. Der Band fängt eine lebendige Momentaufnahme der laufenden akademischen und industriellen Forschung ein, widmet sich komplexen computergestützten Herausforderungen und präsentiert innovative algorithmische Techniken, die für die Handhabung komplizierter mathematischer Strukturen entwickelt wurden. Im Zentrum des Buches steht ein starker Schwerpunkt auf der Polynomalgebra, einem Grundpfeiler des symbolischen Rechnens. Mehrere Beiträge befassen sich mit hochentwickelten Methoden zur Faktorisierung dünnbesetzter bivariater Polynome unter Verwendung von Prioritäts-Warteschlangen-Datenstrukturen, wodurch die Effizienz algebraischer Manipulationen optimiert wird. Andere Arbeiten untersuchen die Konstruktion irreduzibler Polynome durch die geschickte Anwendung des Newton-Index, was neue Perspektiven auf Polynomzerlegung und -klassifikation bietet. Das Finden reeller Polynomwurzeln ist ein weiteres Hauptthema, wobei die Autoren fortgeschrittene Techniken vorstellen, die Matrix- und Polynomiterationen nutzen, um Wurzeln mit hoher Präzision und Zuverlässigkeit zu approximieren. Der Text schlägt zudem die Brücke zwischen reiner algebraischer Theorie und realer Ingenieurskunst sowie den Naturwissenschaften. Eine bemerkenswerte Anwendung, die in der Sammlung hervorgehoben wird, betrifft die Verwendung der Eigenwertmethode in Verbindung mit Symmetrieprinzipien zur Lösung komplexer Polynomsysteme. Diese Systeme treten häufig bei der rigorosen Schwingungsanalyse mechanischer Strukturen auf, die inhärente Symmetrieeigenschaften aufweisen, und veranschaulichen, wie abstrakte algebraische Werkzeuge greifbare Probleme des Maschinenbaus lösen können. Darüber hinaus untersucht der Band die Anwendung von Gröbner-Systemen, einem mächtigen Rahmenwerk in der kommutativen Algebra, zur Handhabung parametrischer Polynomsysteme und zur Erweiterung des Werkzeugkastens, der Computerwissenschaftlern zur Verfügung steht. Auf allen Seiten behält das Buch einen strengen akademischen Standard bei, der den strengen Peer-Review-Prozess widerspiegelt, der die Auswahl der dreiunddreißig enthaltenen Arbeiten steuerte. Forscher, Softwareentwickler und angewandte Mathematiker werden in dem Text ein reichhaltiges Fundus an spezialisiertem Wissen finden. Durch die Dokumentation der kollaborativen Bemühungen und bahnbrechenden Entdeckungen, die auf der CASC 2014 präsentiert wurden, hat Vladimir P. Gerdt eine wesentliche Ressource zusammengestellt, die nicht nur das historische Protokoll einer bedeutenden wissenschaftlichen Versammlung bewahrt, sondern auch die Grenzen dessen verschiebt, was automatisierte mathematische Argumentation und Computeralgebra im modernen wissenschaftlichen Rechnen erreichen können.

🎯 Wichtige Lektionen

⚖️ Vor- und Nachteile

❓ Häufige Fragen

💬 💬 Leserkommentare (0)