Contents:
Selected topics from:
- Primary tests, factorisation in Z
- LLL algorithm
- Polynomial factorization over finite bodies, over Z, Q or in K [x1,...,xn].
- Gröbnerbasen Results and Elimination
- Primaer decomposition, radical calculation, syzygies and free resolutions
- Practical applications, e.g: Checking of processors, equilibrium states in economic models, description of configuration spaces of molecules, robotics or sudoku
For all topics the practical work with a concrete computer algebra system (e.g. singular) is in the foreground.
Requirements:
Linear Algebra I