RESEARCH SCHOOL

Francophone Computer Algebra Days
Journées nationales de calcul formel
4 – 8 February 2019

Scientific Committee
Comité scientifique

Magali Bardet (Université de Rouen)
Delphine Boucher (Université de Rennes 1)
François Boulier (Université Lille 1)
Laurent Busé (INRIA Sophia Antipolis)
Frédéric Chyzak (NRIA Saclay)
Thomas Cluzeau (Université de Limoges)
Jean-Guillaume Dumas (Université Grenoble Alpes)
Jean-Charles Faugère (INRIA Paris)
Pascal Giorgi (Université de Montpellier)
Claude-Pierre Jeannerod (INRIA Grenoble Rhône-Alpes)
Grégoire Lecerf (CNRS/ Ecole polytechnique)
Marc Mezzarobba (CNRS/ Sorbonne Université)
Jean-Claude Yakoubsohn (Université Toulouse III – Paul Sabatier)

Organizing Committee
Comité d’organisation

Xavier Caruso (CNRS/Université de Rennes 1) 
Luca De Feo  (USVQ & Inria Saclay
Mioara Joldes (LAAS-CNRS) 
Alban Quadrat (INRIA Lille – Nord Europe)
Éric Schost  (University Waterloo)

contact the organizers : ​jncf2019@listes.math.cnrs.fr

Description
Computer Algebra refers to the study and design of algorithms for manipulating mathematical expressions and objects. It lies 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 summation in closed form, differential and polynomial system solving, or special functions.

The French Computer Algebra community is internationally renowned for the excellence of its theoretical work. Several libraries produced by its members are part of mainstream software packages such as Maple or Sage. This success is notably due to the Journées nationales de calcul formel (JNCF), which are 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. We now would like the JNCF to open to an international community, while remaining primarily French-speaking. The previous editions already included courses by colleagues from other European countries, and we intend to continue this trend. We also plan to better advertise the next JNCF in Mediterranean countries.

Le calcul formel s’intéresse à la manipulation algorithmique 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 qui recouvre de nombreux sujets, de la théorie algorithmique des nombres à la résolution de systèmes différentiels en passant par les fonctions spéciales.

​La communauté française de calcul formel est reconnue internationalement à la fois pour ses contributions théoriques et pour les logiciels qu’elle développe (dont plusieurs sont utilisés par des systèmes mondialement répandus tels que Maple ou Sage). 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. Nous voudrions aujourd’hui les ouvrir à une communauté internationale, tout en maintenant leur caractère majoritairement francophone. Lors des dernières éditions, certains cours étaient assurés par des collègues d’autres pays européens, fonctionnement que nous souhaitons maintenir. Nous avons aussi l’intention d’annoncer plus largement les journées à venir dans les pays méditerranéens.

Courses

Mohamed Barakat (University of Siegen)  Category theory is a programming language​
Delphine Boucher (Université de Rennes 1)  Coding with skew polynomial rings​
Catherine Goldstein (IMJ-PRG Paris)  On the History of Effective Algebra​ / Histoire de l’algèbre effective   
Bernard Mourrain (Inria Sophia Antipolis) Algebraic methods for sparse decomposition / Méthodes algébriques pour les décompositions creuses

Contributed talks

Yacine Bouzidi (INRIA Lille-Nord Europe)  Simple conditions for the intersection with polydisks
Florent Bréhard (ENS de Lyon)  A computer-assisted proof for a new lower bound on H(4) in Hilbert’s sixteenth problem
Cyrille Chenavier (INRIA Lille – Nord Europe)  Reduction operators and completion of linear rewriting systems
Leonardo Colò (Aix-Marseille Université)  Orienting supersingular isogeny graphs 
Luca De Feo (Université de Versailles St Quentin)  Presentation of OpenDreamKit and some highlights
Gérard Duchamp (Université Paris-Nord)  Une théorie locale des polylogarithmes
Ali El Hajj (Universite de Limoges)  Simple forms for pseudo-linear systems
André Galligo (Université Nice Sophia Antipolis)  Ideal d’élimination et borne optimale pour une relation de Bézout
Gerhard  Jürgen (Maplesoft)  Multivariate limit computations in Maple
Jouhayna Harmouch (INRIA)  Structured low rank decomposition and completion of multivariate Hankel matrices
Jean Kieffer (Université de Bordeaux, Inria Bordeaux) Échange de clés à base de graphes d’isogénies CM sur un corps fini
Pierre-Vincent Koseleff  (IMJ-PRG) The lexicographic degree of 2-bridge knots
Robin Larrieu (LIX Ecole polytechnique)  Fast Gröbner basis computation and polynomial reduction for generic bivariate ideals
Aude Le Gluher (Université de Lorraine) Un algorithme géométrique efficace pour le calcul d’espaces de Riemann-Roch
Victor Magron (CNRS LAAS) On Exact Polya, Hilbert-Artin and Putinar’s Representations
Vincel Hoang Ngoc Minh (Université de Lille) Un cas pratique de la théorie de Picard-Vessiot des équations différentielles non commutatives
François Ollivier (CNRS Ecole polytechnique)  Endogène égale exogène en 2 commandes
Clément Pernet (Université Grenoble Alpes)  High Performance Mathematical Computing (OpenDreamKit, WP5)
Adrien Poteaux (Université de Lille)  Factoring polynomials over discrete valuation rings
Édouard Rousseau (Télécom ParisTech) Standard lattices of compatibly embedded finite fields
Thibaut Verron (Johannes Kepler University, Linz)  Algorithme de Möller avec signatures pour le calcul de bases de Gröbner fortes à coefficients dans un anneau principal
Fatmanur Yıldırım (INRIA) Implicit matrix representations via quadratic relations
Ilaria Zappatore (​Université de Montpellier) Polynomial Linear System Solving with Errors by Simultaneous Polynomial Reconstruction of Interleaved Reed-Solomon Codes

SPONSORS

Picture

Ecole thématique