Literaturverzeichnis

[Gru96]:

D. Gruntz: On Computing Limits in a Symbolic Manipulation System
Diss. ETH 11432, Swiss Federal Institute of Technology, Zürich (1996)

Dieses Buch diente als Vorlage für diese Arbeit und steht Interessierten im Internet unter http://www.cs.fh-aargau.ch/~gruntz/publications2.html zum Lesen zur Verfügung.

[Sha04]:

J. Shackell: Symbolic Asymptotics
Springer Verlag (2004)

Dieses recht junge Buch stellt die theoretischen Grundlagen dieser Arbeit umfassend und weiterführend dar.

[Har10]:

G. H. Hardy: Orders of Infinity
Cambridge Tracts in Mathematics and Mathematical Physics 12 (1910)

Die wegweisende Arbeit von Hardy über asymptotisches Wachstum ist das Fundament des Algorithmus.

[RSSH96]:

D. Richardson, B. Salvy, J. Schackell, J. v. d. Hoeven:
Asymptotic Expansions of exp-log Functions
Proceedings of the International Symposium on Symbolic and Algebraic Computation (1996)

[Ros83]:

M. Rosenlicht: Hardy Fields
Journal of Mathematical Analysis and Applications 93 (1983), s. 297

[Ric69]:

D. Richardson:
Solution of the Indentity Problem for Integral Exponential Functions
Zeitschrift f. math. Logik und Grundlagen der Math. 15 (1969), s.333

[Mac80]:

A. Macintyre: The Laws of Exponentiation
Model Theory and Arithmetic Proceedings, Paris 1979/80

[Koe93]:

W. Koepf: Mathematik mit Derive
Vieweg, Braunschweig/Wiesbaden (1993)

Auf dieses Buch geht ein Beispiel aus Kapitel 1.4 zurück.

7 Versicherung des Verfassers