Résumé de section

  • 326.007, Wednesday, 17:15-18:45, Room: S2 Z74, Start: October 5, 2022

    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 the accompanying lecture we discuss examples from various application domains. In this proseminar students are expected to model selected problems and demonstrate their results in the form of small papers and presentations.

    Parts of the seminar may be live-streamed and recorded via the following Zoom meeting (but no guarantee is given with respect to the completenss or quality of the recordings, the basic seminar format is on-site, not hybrid).

    Zoom Meeting
    https://jku.zoom.us/j/95922982482?pwd=ejFPeVEyekswZFRRQ0h4MWlzRlNpdz09
    Meeting-ID: 995 2030 2042 Password: ..modeling