The general aim of the group is to perform fundamental research in Combinatorial and Differential Geometry, Linear Algebra, Computer Algebra, Algebraic Logic and Cathegory Theory. It also develops an interdisciplinary project, Geometrix, for the implementation of different adaptive computer aided learning environments for the teaching of Mathematics, with special attention for the teaching of Geometry.
The group maintains a weekly seminar and keeps running intensive courses according to the interests and of its members and the availability of human resources.
Previous MATEAS Seminars 29 Feb 2024 A KAT-like approach for union-bound reasoning on probabilistic programs Leandro Gomes (Université de Lille)