Topic outline

  • General

    326.006, Wednesday, 15:30-17:00, Room: S2 044, Start: March 6, 2024 (15:45)

    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 present 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.

  • Organization

    Preliminary Schedule

    • March 6 (15:45):
      • Introduction to course topics.
    • March 13, March 20, May 15, May 22:
      • Wolfgang Schreiner: Logical Models of Problems and Computations
    • April 10, April 17, May 29, June 5:
      • Wolfgang Windsteiger: Modeling Problems in Geometry and Discrete Mathematics
    • April 24 (17:15-18:45), May 8 (17:15-18:45), June 12 (17:15-18:45), June 19 (17:15-18:45):
      • Carsten Schneider: Symbolic Summation and the Modeling of Sequences

    Students have to submit 3 positive home assignments to pass the course (if an assignment fails, after the course a substitute is handed out)