The EURéCA group has two main research directions, namely algorithms and proofs, with a common interest for symbolic computation, algebraic structures and related algorithms.
