Section outline

  • Collapse Expand

    General

    Collapse all Expand all

    326.006, Wednesday, 15:30-17:00, Room: S2 054, Start: October 8, 2025 (16:00)

    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.

  • Collapse Expand

    Organization

    Preliminary Schedule

    • October 8 (16:00):
      • Introduction to course topics.
    • October 15, October 22, November 26, December 3:
      • Wolfgang Schreiner: Logical Models of Problems and Computations
    • October 29, November 5, December 10, December 17:
      • Wolfgang Windsteiger: Modeling Problems in Geometry and Discrete Mathematics
    • November 12 (16:30-18:00), November 19 (16:30-18:00), January 7 (16:30-18:00), January 14 (16:30-18:00):
      • Carsten Schneider: Symbolic Summation and the Modeling of Sequences
    Grading

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