312.200 (19W) Symbolic Computation Lab
Overview
- Lecturer
- Course title german Symbolic Computation Lab
- Type Practical class (continuous assessment course )
- Hours per Week 1.0
- ECTS credits 3.0
- Registrations 6 (25 max.)
- Organisational unit
- Language of instruction English
- possible language(s) of the assessment German , English
- Course begins on 15.10.2019
- eLearning Go to Moodle course
Time and place
Course Information
Intended learning outcomes
After successful completion of this course, students know the mathematical foundations in selected topics in symbolic computation (concretely in this version of the course: algebraic combinatorics, lattice theory). Furthermore, they have also collected practical experience in the implementation and applications of algorithms (concretely: guessing of sequences, the LLL-algorithm) from these selected topics.
Teaching methodology including the use of eLearning tools
Discussion of the theoretical foundations based on short lectures with some exercises and supplementary materials, followed by practical work on small projects.
Course content
- algebraic classification of sequences (especially: hypergeometric, C-finite, and holonomic sequences)
- relations between symbolic sums, recurrence equations, generating functions, and asymptotic estimates
- basic lattice theory in context of the geometry of numbers
- the Lenstra-Lenstra-Lovász (LLL) basis reduction algorithm and its applications
Prior knowledge expected
- Experience with SageMath (course: Computermathematics)
- Elementary combinatorics (course: Combinatorial Structures)
- Elementary group theory (course: Linear Algebra / Algebraic Structures)
Literature
- Modern Computer Algebra (Joachim von zur Gathen, Jürgen Gerhard; 3rd Edition)
- The Concrete Tetrahedron (Manuel Kauers, Peter Paule)
Examination information
Examination methodology
The course covers two (related) topics: algebraic combinatorics and lattice theory + applications. For each of these topics, there will be a set of project assignments from which students can choose from; at least one project has to be chosen for every topic. Students are expected to hand in a written report giving a detailed description on their work on the project assignments. In the final session, the students will give a short presentation on the assignments they chose.
Examination topic(s)
- Completeness and documentation of the project assignments in the report
- Quality of the corresponding final presentation
Assessment criteria / Standards of assessment for examinations
Within the course it is possible to obtain report points (up to 20) and presentation points (up to 5). Provided that at least 12 report points were obtained (otherwise the course is failed), the final grade is obtained from the following table:
Points | Grade |
---|---|
< 12,5 | 5 (Nicht genügend) |
< 15,75 | 4 (Genügend) |
< 19 | 3 (Befriedigend) |
< 22 | 2 (Gut) |
≥ 22 | 1 (Sehr gut) |
Report points
- There are 20 report points in total.
- The report is split in two parts: one part on algebraic combinatorics (guessing) and one part on lattice theory (LLL-algorithm). Each part is worth 10 points and consists of detailed descriptions of the solution approach for all selected projects.
- It is possible to reach 10 points per chosen project, but it is also possible to choose multiple projects per part. (You cannot earn more than 10 points per part, though.)
- Working in groups to solve the projects is allowed, the project reports have to be written individually. In case of joint work on the projects, the people that are part of your group have to be declared in the project report.
- The report has to be written in LaTeX under consideration of our guidelines (see Moodle). In case of severe violations of the guidelines, report points will be deducted.
- Deadline for handing in the report: 29.2.2020
Presentation points
- In the final session of the course (preliminary: 14.1.2020) students will present their work on the project assignments and discuss their approaches.
- Presentations can be done in groups. If so, please declare (as a part of the presentation) who worked on what.
- Every student can earn up to 5 presentation points, which are awarded for the quality of the presentation.
Grading scheme
Grade / Grade grading schemePosition in the curriculum
- Thematic Doctoral Programme Modeling-Analysis-Optimization of discrete, continuous and stochastic systems
(SKZ: ---, Version: 16W.1)
-
Subject: Modeling-Analysis-Optimization of discrete, continuous and stochastic systems
(Compulsory subject)
-
Modeling-Analysis - Optimization of discrete, continuous and stochastic systems (
0.0h XX / 0.0 ECTS)
- 312.200 Symbolic Computation Lab (1.0h PR / 3.0 ECTS)
-
Modeling-Analysis - Optimization of discrete, continuous and stochastic systems (
0.0h XX / 0.0 ECTS)
-
Subject: Modeling-Analysis-Optimization of discrete, continuous and stochastic systems
(Compulsory subject)
- Masterstudium Mathematics
(SKZ: 401, Version: 18W.1)
-
Subject: Discrete Mathematics
(Compulsory elective)
-
6.9 Symbolic Computation Lab (
1.0h PR / 3.0 ECTS)
- 312.200 Symbolic Computation Lab (1.0h PR / 3.0 ECTS)
-
6.9 Symbolic Computation Lab (
1.0h PR / 3.0 ECTS)
-
Subject: Discrete Mathematics
(Compulsory elective)
- Masterstudium Mathematics
(SKZ: 401, Version: 18W.1)
-
Subject: Applied Mathematics
(Compulsory elective)
-
Lehrveranstaltungen aus den Vertiefungsfächern (
0.0h XX / 12.0 ECTS)
- 312.200 Symbolic Computation Lab (1.0h PR / 3.0 ECTS)
-
Lehrveranstaltungen aus den Vertiefungsfächern (
0.0h XX / 12.0 ECTS)
-
Subject: Applied Mathematics
(Compulsory elective)
- Master's degree programme Technical Mathematics
(SKZ: 401, Version: 13W.1)
-
Subject: Seminar und Praktikum
(Compulsory subject)
-
Praktikum Angewandte Mathematik (
2.0h PR / 4.0 ECTS)
- 312.200 Symbolic Computation Lab (1.0h PR / 3.0 ECTS)
-
Praktikum Angewandte Mathematik (
2.0h PR / 4.0 ECTS)
-
Subject: Seminar und Praktikum
(Compulsory subject)
- Doctoral programme Doctoral programme in Technical Sciences
(SKZ: 786, Version: 12W.4)
-
Subject: Studienleistungen gem. § 3 Abs. 2a des Curriculums
(Compulsory subject)
-
Studienleistungen gem. § 3 Abs. 2a des Curriculums (
16.0h XX / 32.0 ECTS)
- 312.200 Symbolic Computation Lab (1.0h PR / 3.0 ECTS)
-
Studienleistungen gem. § 3 Abs. 2a des Curriculums (
16.0h XX / 32.0 ECTS)
-
Subject: Studienleistungen gem. § 3 Abs. 2a des Curriculums
(Compulsory subject)