Computer Algebra

This class meets on Tuesdays 14:15–16:00 and Wednesdays 10:15–12:00 in HS 001.

The course will explore the algorithms behind computer algebra programs such as Maple, Mathematica, GAP, Magma, Singular, Macaulay, etc. In particular, we will learn

  1. how finite groups and linear groups are manipulated efficiently in computers
  2. what can be done with finitely presented groups
  3. how systems of equations can be solved, numerically and symbolically

Good references we will follow are Notes on computational group theory by Alexander Hulpke, and Modern computer algebra by Joachim von zur Gathen and Jürgen Gerhard.

The assistant for the course is Emmanuel Rauzy.