Here you can define your filter criteria for categories + full-text search. You can change them at any time.
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