Title: Symbolische Programmierung in der Mehrkörperdynamik