Résumé de section

  • In this part of the lecture we will deal with the challenge to model sequences (infinite objects) by using computer algebra technologies.

    Special focus will be put on

    • modeling sequences tailored for the user in the setting of term algebras;
    • modeling sequences in formal difference rings tailored for the computer ;
    • connecting the two worlds to extract interesting properties for the user.

    The lecture will be enhanced  stepwise and the topics will be summarized within the lecture notes that can be found here. In addition, there are slides and a Matheamtica Notebook given here that supplements the lecture.
    The corresponding homeworks will be explained in the lecture. The precise specification can be found here.

    • Lecture 1: 16. November 2022
      Symbolic summation (a short introduction)
    • Lecture 2: 23. November 2022
      Modeling of sequences with a term algebra (the user interface)
    • Lecture 3: 30. November 2022
      Modeling of sequences in difference rings (computer algebra)