Algebraische Algorithmen zur Lösung von linearen Differentialgleichungen / Multi Processing Algebra Reports (PDF)

Maschinelles Lösen von Differentialgleichungen ist seit langem der Traum vieler Mathematiker, Naturwissenschaftler und Ingenieure. Dessen Umsetzung hat sich allerdings als sehr hartnäckig erwiesen. Da gibt es einerseits mechanische und elektro-mechanische Verfahren, die seit dem Aufkommen elektronischer Rechenmaschinen verdrängt werden und heute praktisch durch numerische Verfahren abgelöst sind. Andererseits gibt es algebraische Verfahren, welche erst durch die Entwicklung von Computeralgebra-Systemen weite Verbreitung finden. Der Vorteil dieser Methoden liegt darin, daß sie Funktionen anstelle von Funktionswerten als Ergebnis zurückliefern. Das Gemeinsame aller algebraischen Verfahren ist ihre Kompliziertheit, die zu ihrem Verständnis bisher viel Theorie erforderte. Das vorliegende Buch stellt in einer möglichst einfach gehaltenen Darstellung neue Konzepte und Algorithmen zur exakten Lösung gewöhnlicher linearer Differentialgleichungen vor, die es sogar ermöglichen, erstens, alle Lösungen zu berechnen und zweitens, diese Lösungen durch Formeln zu bestimmen. Eine Einführung in die Benutzung der im Computeralgebra-System MuPAD implementierten Verfahren und eine Kurzbeschreibung der Funktionen ergänzen die Abhandlung. Aktuelle Informationen zu MuPAD und der projektbegleitenden Forschung sind auf der http://www.mupad.de>MuPAD Homepage zu finden.