The following skills are covered depending on the choice of the course: Developing and understanding
- computer algebra algorithms with the underlying mathematical theory and apply it to practical problem solving (combinatorics, particle physics, computer science, special functions, linkages, geometry);
- techniques for formal verification of systems and software and apply it to concrete real world problems;
- algorithmic theories of proving with a special focus on automatic generation of human readable proofs.
|
Learning research-driven but also practically oriented algorithms, procedures, and tools in computer algebra, computational logic, and automatic programming; software systems (for computer algebra, computer aided design, computer assisted reasoning, knowledge management, etc); usage of symbolic computation tools and its possibilities for problem solving.
|
