Francophone Computer Algebra Days
Journées nationales de calcul formel
4 – 8 February 2019
Scientific Committee
Comité scientifique Magali Bardet (Université de Rouen) |
Organizing Committee
Comité d’organisation Xavier Caruso (CNRS/Université de Rennes 1) contact the organizers : jncf2019@listes.math.cnrs.fr |
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. – 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 : |
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