MrvLimit ist ein Algorithmus zur Berechnung von Grenzwerten, entwickelt von Dominik Gruntz. Diese Seite widmet sich der Implementierung des Algorithmus in Mathematica, die als Teil meiner Diplomarbeit "Automatische Berechnung von Grenzwerten und Implementierung in Mathematica" entstand.
Der ursprüngliche Algorithmus entstand als Teil der Dissertation "On Computing Limits in a Symbolic Manipulation System" von Dominik Gruntz, und steht als PS-Datei auf der Webseite des Autors zur Verfügung.Auf Basis dieses Buches entstnad meine Diplomarbeit "Automatische Berechnung von Grenzwerten und Implementierung in Mathematica". Alle dazu verfügbaren Resourcen stehen hier zum Lesen und zum Download bereit:
Der Text der Diplomarbeit als PDF, mit integrierter Verlinkung als Bildschirmversion.
Der Text der Diplomarbeit als PDF, in Druck-Fassung.
Der Text in XHTML+MathML für MathML-kompatible Webbrowser.
Die zur Diplomarbeit gehörende Software beinhaltet ein Mathematica-Package zur Grenzwertberechnung, Handbücher und Beispieldateien.
Software-Revision 1.0 des Mathematica-Packages inklusive Handbücher.
Dies entspricht der Fassung, auf der die Diplomarbeit basiert.
Quelltexte des Mathematica-Package als Notebook, zur besseren Lesbarkeit.
Beispielaufgaben zur Diplomarbeit.
Mail:
(GPG)