VL Formal Modeling (SS 2020)

326.006, Wednesday, 15:30-17:00, S2 046, Start: March 4, 2020

We discuss the formal modeling of mathematical problems that are amenable to algorithms and software from symbolic computation; the models are based on the language of algebra and logic. In this lecture, we discuss particular examples from various application domains. in the accompanying proseminar students are expected to model selected problems and demonstrate their results in the form of small papers and presentations.