We give an overview over computer algebra algorithms for dealing with symbolic sums, recurrence equations, generating functions, and asymptotic estimates, and we will illustrate how to apply these algorithms to problems arising in discrete mathematics.
Sprache der Kurzfassung:
Englisch
Vortragstyp:
Hauptvortrag / Eingeladener Vortrag auf einer Tagung
Forschungs-