Computer Algebra Systems (CAS)
Dr. Christoph Koutschan
Time and Place
Monday, 10:15 - 11:45, Room KG 419
First Meeting: 4 October 2010
The lecture is intended to give an overview on the big variety of CAS
that are available nowadays, and to investigate and compare their
abilities. It will start with an introduction to the two most popular
general purpose CAS, namely Maple and Mathematica (and if time allows
also to others like Axiom, Derive, Macsyma/ Maxima). For each of
these CAS a short tutorial will be given and its limitations and
common pitfalls will be discussed. The rest of the lecture will be
dedicated to special purpose CAS from different areas of mathematics
(like CoCoA, Macaulay, Singular, GAP, etc.).
By default, the lecture will be held in English.
On agreement with all participants, we can also switch to German.
Participants can get a grade by either giving a talk about a CAS
of their own choice or some other topic, or by taking an oral exam.
Here is a list of suggestions for such topics:
(topics 3, 5, 8, 9 and 10 have already been chosen).
More topics have been proposed by Prof. Walther Neuper from TU Graz:
These topics are related to the
There are lots of open Master's theses within this project, and
hence a talk in the CAS lecture could be a first step into this direction.
Here you can download all the material of the lectures held so far.
|11.10.2010||Mathematica||slides, notebook, pdf of notebook|
Maple worksheet (pdf)
MMA examples (pdf),
Maple examples (pdf)
Sage examples (pdf)
|15.11.2010||Axiom / FriCAS||
GAP examples in Sage
|17.1.2011 (1)||Cylindrical Algebraic Decomposition||
|17.1.2011 (2)||Decidability Questions||