MULTIYEAR PROGRAM
RESEARCH SCHOOL – ECOLE DE RECHERCHE

Francophone Computer Algebra Days
Journées nationales de calcul formel
28 February – 4 March 2022

Le calcul formel a pour objet d’étude les manipulations symboliques effectives d’objets mathématiques. Il se situe ainsi naturellement à l’interface des mathématiques, de l’informatique et de différents domaines d’applications.
L’objectif premier des JNCF est l’intégration des doctorants et jeunes chercheurs à la communauté du calcul formel. Les jeunes chercheurs doivent ainsi pouvoir prendre la mesure de cette thématique de recherche pluridisciplinaire, et être encouragés à découvrir les thématiques de recherche voisines.

Courses

Giorgo Ottaviani (University of Florence)   Effective aspects of the geometry of tensors
Mioara Joldes (CNRS, LAAS, Toulouse)    Algorithmes symboliques-numériques validés et applications au domaine spatial
Joris Van der Hoeven (CNRS, LIX, Paris)    Multiplication rapide
Frédéric Cazals (Inria Sophia Antipolis-Mediterranée)   Autour de deux problèmes géométriques se posant en modélisation moléculaire

Contributed talks

Lorenzo Baldi (INRIA Sophia Antipolis)    On the Effective Putinar’s Positivstellensatz and Convergence Rates in Polynomial Optimization
Oumaima Benchettou (Université du Littoral Côte d’Opale)    Tensorial total variation based image and video restoration with optimized projection methods
Elena Berardini (Télécom Paris)    Calcul d’espaces de Riemann–Roch via les séries de Puiseux
Fatima Bouyghf (Université du Littoral Côte d’Opale)    An enhancement of the convergence of the IDR(s) method as a Petrov-Galerkin type method
Maxime Bros (Université de Limoges)     Improvements of Algebraic Attacks for solving the Rank Decoding and MinRank problems
Carles Checa (National Kapodistrian University of Athens)    A review on sparse resultant formulas and elimination theory
Jürgen Gerhard (Maplesoft of Waterloo)    What’s New in Maple 2022
Pablo Gonzales Mazon (INRIA, Universite Cote dAzur)    Trilinear birational maps
Alexandre Goyer (INRIA Saclay)    Symbolic-Numeric Factorization of Differential Operators
Nuwan Herath (INRIA Grand-Est)    Fast high-resolution drawing of algebraic curves
Antonio Jiménez Pastor (LIX, CNRS, École Polytechnique)     Exact non-linear reduction for rational dynamical systems
Asmaa Khouia (Université du Littoral Côte d’Opale)    The LSQR method for solving tensor least squares problem
Huu Phuoc Le (Sorbonne Université)    Structures déterminantielles, bases de Grobner et systèmes paramétrés
Antoine Leudière (INRIA)    Algorithmique efficace d’une action simplement transitive issue de la théorie du corps de classes des corps de fonctions
Tobias Metzlaff (INRIA Sophia Antipolis)    Polynomial description for the T–orbit spaces of multiplicative actions
Rafael Mohr (Sorbonne Université/TU Kaiserslautern)    Nondegenerate Parts of Polynomial Systems via F5
Rocco Mora (Sorbonne Université, INRIA de Paris)    Key-recovery of McEliece scheme for alternant codes of order 3 using Gröbner basis
Raphaël Pagès (Université de Bordeaux)    Computing Characteristic Polynomials of p-Curvatures in Average Polynomial Time
Armelle Perret du Cray (LIRMM, Université de Montpellier)    Polynomial modular product verification
Rémi Prebet (Sorbonne Université)    On the algebra and geometry of cuspidality: algorithms and complexity
Büşra Sert (TU Dresden)    An algorithm for testing the half-plane property of matroids
Hippolyte Signargout (Université Grenoble Alpes)    Calcul du résultant de polynômes bivariés à l’aide de remontée d’ordre élevé structurée
Thibaut Verron (Johannes Kepler Universitä, Linz)    Signature Gröbner Bases in the Free Algebra
Trung-Hieu Vu (Sorbonne Université)    Exact SOHS decompositions of trigonometric univariate polynomials with Gaussian coefficients
Ilaria Zappatore (INRIA Saclay)    Simultaneous Rational Function Reconstruction with Errors: handling poles and multiplicities