Effiziente Algorithmen zur Berechnung von Faktorisierungen linearer Mahler-Operatoren
Wir entwickeln und vergleichen zwei Algorithmen zur Berechnung von Faktorisierungen erster Ordnung linearer Mahler-Operatoren. Der erste Algorithmus basiert auf einer Anpassung von Petkovšeks klassischem Algorithmus für lineare Rekursionsgleichungen. Der zweite Algorithmus verwendet Hermite-Padé-Approximationen, um Linearkombinationen von Lösungsreihen zu finden, die hypergeometrischen Lösungen entsprechen.