MULTIYEAR PROGRAM
RESEARCH SCHOOL - ÉCOLE DE RECHERCHE

Francophone Computer Algebra Days
Journées nationales de calcul formel

6 – 10 March 2023

 
Les JNCF feront partie de l’événement Recent Trends in Computer Algebra 2023 et serviront d’école préparatoire au trimestre IHP ainsi qu’au trimestre MiLyon

Scientific Committee 
Comité scientifique

Magali Bardet (Université de Rouen)
Alin Bostan (INRIA Saclay)
Nicolas Brisebarre (CNRS – ÉNS Lyon)
Laurent Busé (INRIA Sophia Antipolis)
Xavier Caruso (CNRS – Université de Bordeaux)
Vincel Hoang Ngoc Minh (Université Sorbonne Paris Nord)
Mioara Joldes (CNRS – Université de Toulouse)
Pierre-Vincent Koseleff (Sorbonne Université)
Guillaume Moroz (INRIA Nancy)
Clément Pernet (Université Grenoble Alpes)
Adrien Poteaux (Université de Lille 1)
Mohab Safey El Din (Sorbonne Université)
Tristan Vaccon (Université de Limoges)

Organizing Committee
Comité d’organisation

Jérémy Berthomieu (Sorbonne Université)
Paola Boito (University of Pisa)
Eleonora Guerrini (Université de Montpellier)
François Ollivier (CNRS, École Polytechnique)
Pierre-Jean Spaenlehauer (Centre INRIA Nancy – Grand-Est)

contact: jncf2023@groupes.renater.fr

Computer Algebra refers to the study and design of algorithms for manipulating mathematical expressions and objects. It is naturally at the interface between Mathematics, Computer Science, and various application fields. It covers a wide range of subjects, such as effective linear algebra, algorithmic number theory, integration and summations in closed-form expression, differential and polynomial system solving, or special functions. The French Computer Algebra community takes part in the organization of the main international conferences (ISSAC, FoCM, MEGA, . . . ). On top of scientific excellence in their theoretical works, members of this community also develop for widely used software such as Maple, SageMath and Magma, and software libraries such as mpfr, pari, fgb, rs, linbox, etc. The vitality of this community is also recognized by prestigious national prizes (e.g. CNRS medal). This success is notably due to the Journées Nationales de Calcul Formel (JNCF), which is a remarkable opportunity for researchers to discuss recent and ongoing work with their peers. Expected outcomes include:

  • A better integration of young researchers. The JNCF are an ideal opportunity for young researchers to present their results for the first time and also to get an overview of the various advances in Computer Algebra. This is especially important in the Computer Algebra community, where researchers need to build skills in both Computer Science and Mathematics.
  • New collaborations and interactions. The JNCF have traditionally been an opportunity to create successful collaborations between researchers from different parts of France. The JNCF has also opened to an international community, while remaining primarily French-speaking. The previous editions already included courses and contributed talks by colleagues from other European and Mediterranean countries.

Le calcul formel désigne la conception et l’analyse d’algorithmes pour la manipulation d’expressions et d’objets mathématiques. C’est une discipline à l’interface des mathématiques, de l’informatique et de différents domaines d’application. Il recouvre de nombreux sujets, de la théorie algorithmique des nombres à la résolution de systèmes polynomiaux ou différentiels en passant par les fonctions spéciales ou l’algèbre linéaire effective. La communauté française de calcul formel participe à l’organisation des principales conférences internationales (ISSAC, FoCM, MEGA, . . . ). Reconnus internationalement pour leurs contributions théoriques, les membres de la communauté participent également au développement de logiciels largement utilisés comme Maple, SageMath, Magma, ainsi que de bibliothèques comme mpfr, pari, fgb, rs, linbox, etc. Sa vitalité doit beaucoup aux Journées nationales de calcul formel (JNCF), qui représentent une opportunité remarquable pour les chercheurs d’échanger avec leurs pairs autour de travaux récents ou en cours. Les résultats que nous attendons sont en particulier :

  • Faciliter l’intégration des jeunes chercheurs. Les journées représentent une opportunité idéale pour les jeunes chercheurs de présenter leurs résultats pour la première fois et de se faire une idée d’ensemble des avancées dans le domaine. Cela revêt une importance particulière dans la communauté du calcul formel, où il est nécessaire d’acquérir de l’expérience à la fois en informatique et en mathématiques.
  • De nouvelles collaborations et interactions. Les JNCF ont traditionnellement été l’occasion de démarrer des collaborations fructueuses entre chercheurs de différents pôles en France. Elles sont depuis quelques années ouvertes à une communauté internationale, tout en maintenant un caractère majoritairement francophone. Lors des dernières éditions, des cours et exposés étaient assurés par des collègues d’autres pays européens ou méditerranéens.

LECTURES

Diane Maclagan (University of Warwick)   Computations in tropical geometry
Victor Magron (CNRS, LAAS, Toulouse)   Exploiting sparsity in polynomial optimization  
Vincent Neiger (Sorbonne Université, Paris)   Designing and exploiting fast algorithms for polynomial matrices  
Adeline Roux-Langlois (CNRS, IRISA, Rennes)   Using structured variants in lattice-based cryptography  

 

CONTRIBUTED  TALKS

Matteo Abbondati (Université de Montpellier)   Probabilistic Analysis of LLL-based Decoder of Interleaved Chinese Remainder Codes
Haetham Al Aswad (INRIA Nancy Grand-Est)   Discrete Logarithm Factory
Lorenzo Baldi (Sorbonne Université)   The cones of non negative polynomials and measures on genus one curves
Sywar Belkahla (Université de Tunis El-Manar)   Asymptotic analysis of positive solutions of some Sturm-Liouville problems
Zeineb Ben Yahia (Université de La Manouba)   Existence and asymptotic behavior of positive solutions for some problems and systems polyharmonic
Antoine Béreau (École Polytechnique)   The tropical Nullstellensatz and Positivstellensatz for Sparse Tropical Polynomial Systems
Hadrien Brochet (Centre INRIA de Saclay)   De nouveaux outils pour l’intégration symbolique dans les algèbres de Weyl
Carles Checa (University of Athens)   Toric Sylvester forms
Jorge García Fontán (Sorbonne Université)   Computer algebra methods for polynomial system solving at the service of Image-Based Visual Servoing
Pablo González-Mazón (Centre INRIA d’Université Côte d’Azur)  Birational 3D free-form deformations of degree 1 × 1 × 1
Sriram Gopalakrishnan (Sorbonne Université)   Towards an F5 algorithm for determinantal systems
Alaa Ibrahim (ENS Lyon)   Automatic positivity proof for balanced recurrences with simple dominant characteristic root
Andrea Lesavourey (Université de Rennes)   Computing roots in number fields
Dimitri Lesnoff (Sorbonne Université)   Efficient modular matrix multiplication on GPU for polynomial system solving
Tobias Metzlaff (Centre INRIA d’Université Côte d’Azur)   Crystallographic Symmetry in Trigonometric Optimization
Rafael Mohr (Sorbonne Université)   A Direttissimo Algorithm for Equidimensional Decomposition
Hadrien Notarantonio (Université Paris-Saclay)   Algorithms for solving Discrete Differential Equations of order k
Bastien Pacifico (Aix-Marseille Université)   Améliorations des algorithmes de type Chudnovsky sur la droite projective
Raphaël Pagès (Université de Bordeaux)   Factoring differential operators in positive characteristic
Éric Pichon-Pharabod (Centre INRIA de Saclay)   Computing periods of hypersurfaces
Camille Pinto (Sorbonne Université)   Résultats de calcul d’annulateurs d’opérateurs intégro-différentiels
Rémi Prebet (Sorbonne Université)   Solving efficiently connectivity queries on real algebraic space curves
Louis Roussel (Université de Lille)   Modélisation par équations intégrales et apprentissage
Georgy Scholten (Sorbonne Université)   Global Minimization of Analytic Functions
Thibaut Verron (Johannes Kepler University Linz)   Comment certifier la transcendance de fonctions D-finies
Sergey Yurkevich (Université Paris-Saclay)   Beating binary powering for computing the Nth power

SPONSORS