Actualités

Rencontres mensuelles “CHoCoLa”

The aim of this conference is to bring together leading researchers on a wide spectrum of themes which reflects the scientific career of our late colleague and friend Krzysztof Gawedzki, who died in January 2022.

Computer algebra, a‧k‧a. symbolic computation, is a broad transdisciplinary area which aims at computerizing mathematics, i‧e. solving exactly mathematical problems, using computers. Hence, it encompasses effective mathematics in algebra, analysis, geometry and number theory, the design of algorithms, the study of their complexities, their implementations and their use in applications, as well as software system aspects to manipulate and encode efficiently mathematical objects.

Computer algebra, a.k.a. symbolic computation, is a broad transdisciplinary area which aims at computerizing mathematics, i.e. solving exactly mathematical problems, using computers. Hence, it encompasses effective mathematics in algebra, analysis, geometry and number theory, the design of algorithms, the study of their complexities, their implementations and their use in applications, as well as software system aspects to manipulate and encode efficiently mathematical objects.