Recent Trends in Computer Algebra

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.