Journées Nationales de Calcul Formel 2025
CIRM, Luminy, 10 - 14 mars 2025

Cours

Quatre cours de trois heures sont prévus. Le reste du temps sera consacré à des exposés d'une vingtaine de minutes portant sur des travaux de recherche récents, et d'exposés flash pour présenter par exemple des travaux préliminaires. L'emploi du temps comportera aussi une table ronde et une réunion du comité égalité.

Symbolic language models: applications and interpretability.

par François Charton (Facebook AI Research, Paris)

TBA

Effective bounds for polynomial systems defined over the rationals.

par Teresa Krick (Universidad de Buenos Aires)

Given a computer algebra problem described by polynomials with rational coefficients, I will present various tools that help measuring the cost of solving it, where cost means giving bounds for the degrees and heights (i.e. bit-sizes) of the output in terms of those of the input data. I will detail an arithmetic Bézout inequality and give some applications to zero-dimensional polynomial systems. I will also speak about the Nullstellensatz and Perron's theorem for implicitization, if time permits.

Solving linear differential equations to high precision.

par Marc Mezzarobba (CNRS - École Polytechnique)

Users of computer algebra systems expect these systems to be able to perform numerical calculations to arbitrary precision. They may also, perhaps somewhat optimistically, assume that the outputs will be accurate or even that they will have the status of rigorously proven results. This mini-course will explore ways to achieve these goals when computing solutions of ordinary differential equations. The focus will be on Taylor methods, a family of numerical methods that are well-suited to arbitrary precision computations and can be adapted to provide rigorous error bounds. More specifically, we will concentrate on *linear* differential equations whose coefficients depend *polynomially* on the time variable, and examine algorithms dedicated to this class of equations. This is motivated by applications in fields ranging from combinatorics or theoretical physics to algebraic geometry and number theory that require evaluating solutions of equations of this type to accuracies in the thousands of decimal figures. We will also discuss some practical implementation results and applications.

Polyhedral sets, lattice points, optimizing compilers and computer algebra.

par Marc Moreno Maza (University of Western Ontario, London)

This course is dedicated to core algorithms of polyhedral geometry and covers theoretical aspects as well as practical ones.

We will start with rational polyhedra, their projections and the conversions between their different types of representations. We will continue with a tour of the different questions related to the lattice points of rational polyhedra: checking existence, counting these points, describing them, in particular for the case of parametric polyhedra. Practical applications of rational polyhedra and lattice polyhedra require, at least in theory, to perform quantifier elimination; we will see how this is done in the context of optimizing compilers.