https://9dok.net/document/q05jgn2v-symbolisches-rechnen-wintersemester-prof-dr-hans-gert-gr.html