Computer-Assisted Algebra
Cod: 22141
Department: DCET
Scientific area: Mathematics
Total working hours: 130
Total contact time: 20

In this course are introduced the concepts of symbolic computation and demonstration of theorems in Algebra, using the GAP programming language and the automatic theorem prover PROVER9.

Automated Reasoning;
Symbolic Computation;

At the end of the course the student should be able to solve small problems appropriate to symbolic computation and automatic demonstration of theorems, namely proving theorems or finding counterexamples using automatic theorems provers; to know some of the most common functions of GAP, as well as its programming language.

a. GAP and its main functions o(lists, routines to extract sublists, arithmetic, matrices, transformations, groupings);
c. Underlying algebraic background

- GAP Manuals:
- Prover9 Manual:

Evaluation is made on individual basis and it involves the coexistence of two modes: continuous assessment (60%) and final evaluation (40%). Further information is detailed in the Learning Agreement of the course unit.