RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  

Computer Algebra Systems (CAS)

Dr. Christoph Koutschan

Time and Place

Monday, 10:15 - 11:45, Room KG 419
First Meeting: 4 October 2010

Content

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.).

Language

By default, the lecture will be held in English. On agreement with all participants, we can also switch to German.

Assessment

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.pdf (topics 3, 5, 8, 9 and 10 have already been chosen).
More topics have been proposed by Prof. Walther Neuper from TU Graz: CAS-topics-Neuper.pdf. These topics are related to the ISAC project. 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.

Material

Here you can download all the material of the lectures held so far.

DateTopicMaterial
04.10.2010Introductionslides
11.10.2010Mathematicaslides, notebook, pdf of notebook
18.10.2010Maple slides, Maple worksheet (pdf)
25.10.2010Principia slides, MMA examples (pdf), Maple examples (pdf)
08.11.2010Sage slides, Sage examples (pdf)
15.11.2010Axiom / FriCAS slides
22.11.2010ISAC ISAC project
29.11.2010GAP slides, GAP examples in Sage (pdf)
6.12.2010GeoGebra GeoGebra homepage
13.12.2010Modular Arithmetic 
17.1.2011 (1)Cylindrical Algebraic Decomposition slides, Mathematica Notebook (pdf)
17.1.2011 (2)Decidability Questions 
24.1.2011 (1)Singular slides, Singular homepage
24.1.2011 (2)PARI/GP slides, PARI homepage
31.1.2011Algebraic Numbers slides, Mathematica Notebook (pdf)


Christoph Koutschan