MrvLimit is an algorithm for calculating limits, developed by Dominik Gruntz. This page is about an implementation of the algoritm in Mathematica, developed as part of my diploma thesis "Automatische Berechnung von Grenzwerten und Implementierung in Mathematica".
The original algorithm was developed as part of the dissertation "On Computing Limits in a Symbolic Manipulation System" by Dominik Gruntz, and is available as PS file on the web site of the author.Based on that book, I wrote my diploma thesis "Automatische Berechnung von Grenzwerten und Implementierung in Mathematica". All resources of this work are published here for reading and downloading:
The text of the diploma thesis as PDF, with integrated link structure for screen reading.
(German!)
The text of the diploma thesis as PDF, in print version.
(German!)
The text of the diploma thesis as XHTML+MathML for MathML-compatible
web browser (German!).
Part of the diploma thesis is a Mathematica-Package for limit calculations, manuals and sample files. These resources are available in english.
Software revision 1.0 of the Mathematica package including english manual.
This version is the base of the diploma thesis.
Source code of the Mathematica package as notebook, for better readability.
Samples for the package
Mail:
(GPG)