Journées Nationales de Calcul Formel (JNCF) 2015
Cluny
2 – 6 Novembre 2015

JNCF 2015 — Journées Nationales de Calcul Formel
2 – 6 Novembre 2015

Emploi du temps

Lundi

9h15 - 9h30 Accueil des participants et présentation des journées
9h30 - 11h Manuel Kauers Première partie : Algorithms for D-finite Functions (support)
11h - 11h30 Pause
11h30 - 12hThomas Camus Calcul des isométries de réseaux algébriques (slides)
12h - 12h30 Vincent Neiger Computing minimal interpolation bases (slides)
12h30 - 14h Déjeuner
14h - 15h30 Stéphane Gaubert Première partie : Géométrie tropicale appliquée à la programmation linéaire, aux jeux avec paiement moyen et aux problèmes de valeurs propres.
15h30 - 16h Pause
16h - 17h Moulay Barkatou Removing Apparent Singularities of Systems of Linear Differential Equations with Rational Function Coefficients (slides)
17h - 17h15 Pause
17h15 - 17h45 Thomas Sibut-Pinote Calculs symboliques sur des algorithmes théoriques de produits de matrices (slides)
17h45 - 18h15 Yacine Bouzidi Computer algebra methods for testing the structual stability of multidimensional systems (slides)
18h45 Dîner

Mardi

9h - 10h30 Manuel Kauers Deuxième partie : Algorithms for D-finite Functions (support)
10h30 - 11h Pause
11h - 12h Clément Pernet Computing the rank profile matrix (slides)
12h - 12h30 Bruno Grenet Calcul de racines sur un corps fini à l’aide de transformées de Graeffe (slides)
12h30 - 14h Déjeuner
14h - 15h30 Stéphane Gaubert Deuxième partie : Géométrie tropicale appliquée à la programmation linéaire, aux jeux avec paiement moyen et aux problèmes de valeurs propres.
15h30 - 16h Pause
16h - 17h Adrien Poteaux Improving complexity bounds for the computation of Puiseux series over finite fields (slides)
17h - 17h30 Philippe Dumas Calcul rapide d’un coefficient d’une série algébrique en caractéristique positive (slides)
19h30 Dîner social

Mercredi

9h - 10h30 Jean-Charles Faugère Première partie : Résolution de systèmes polynomiaux avec les bases de Gröbner.
10h30 - 11h Pause
11h - 11h30 Joelle Saadé A short survey on Kantorovich-like theorems for Newton’s method (slides)
11h30 - 12h Pierre Lairez Un algorithme déterministe pour calculer une racine approchée d’un système polynomial en complexité moyenne polynomiales (slides)
12h - 12h30 Pierre-Jean Spaenlehauer Sparse polynomial systems with many positive solutions from bipartite simplicial complexes (slides)
12h30 - 14h Déjeuner
18h45 Dîner

Jeudi

9h - 10h30 Guillaume Chèze Première partie : De la décomposition aux intégrales premières rationnelles (support)
10h30 - 11h Pause
11h - 11h30 Svyatoslav Covanov Multiplication rapide d’entiers utilisant des nombres de Fermat généralisés premiers (slides)
11h30 - 12h Alexandre Temperville Simplification de paramètres(slides)
12h30 - 14h Déjeuner
14h - 15h30 Jean-Charles Faugère Deuxième partie : Résolution de systèmes polynomiaux avec les bases de Gröbner.
15h30 - 16h Pause
16h - 17h Jérémy Berthomieu Linear algebra for computing Gröbner bases of linear recursive multidimensional sequences (slides)
17h - 17h30 Thibault Verron Classification algébrique associée à l’optimisation de contraste pour l’IRM (slides)
18h45 Dîner
20h Table ronde

Vendredi

9h - 10h30 Guillaume Chèze Deuxième partie : De la décomposition aux intégrales premières rationnelles (support)
10h30 - 11h Pause
11h - 11h30 Bernard Mourrain Formules de quadrature, extension plate et optimization convexe (slides)
11h30 - 12h François Ollivier La borne de Jacobi. Déterminant tropical, ordre et formes normales des systèmes d’EDO (slides)
12h30 - 14h Déjeuner

© Adrien Poteaux 2015.