Master’s programme Computer Mathematics (E)

Content and focus of the degree programme:

Computer mathematics generally focuses on how to use a computer to solve mathematical problems. The master’s degree programme explores this question from different perspectives: computer algebra: learn about polynomial arithmetics, factorisation, Groebner bases and constructive ideal theory, symbolic summation and integration as well as algorithms for special functions; applied number theory: study cryptology, coding theory, quasi-Monte Carlo methods and pseudo-random number generators; automated reasoning: learn the basics of mathematical logic, automatic reasoning, SAT solvings, and multivalent logic (i.e. Fuzzy Logic); hands-on computer science and software development: learn about object-oriented programming and tools to manage projects and verify formal software