Title: Zur Dynamik hybrider Mehrkörpersysteme Theorie und symbolische Programmierung