(*) Unfortunately this information is not available in english.
Workload
Education level
Study areas
Responsible person
Hours per week
Coordinating university
3 ECTS
B3 - Bachelor's programme 3. year
Mathematics
Carsten Schneider
2 hpw
Johannes Kepler University Linz
Detailed information
Original study plan
Bachelor's programme Technical Mathematics 2024W
Objectives
Hot and challenging research topics in symbolic computation are presented. Most of these topics discussed are currently investigated at the Research Institute for Symbolic Computation (RISC).
Subject
For the particular topics in symbolic computation see the subtitles of the different seminars. Further information concerning evaluation criteria, methods and study material can be found on the specific seminar entry.
Criteria for evaluation
Language
English and French
Changing subject?
Yes
Earlier variants
They also cover the requirements of the curriculum (from - to) 201MASESYMS20: SE Seminar symbolic computation (2020W-2023S) 201MASESYMS18: SE Seminar symbolic computation (2018W-2020S) 201SYMRSYMS12: SE Seminar symbolic computation (2012W-2018S)
Is completed if
(*)201MASELSDS20: SE Seminar logic and software design (3 ECTS)
