Year 2008-2009
Meetings (usually) on thursday from 2.00 PM to 4.00 PM either in room 226
of the extension of the M3 or together with the BioComputing team in the INRIA building, room W11.
URL : http://www2.lifl.fr/CALFORME.
For a talk, send an email to Francois.Lemaire@lifl.fr.
25 juin - Michel Petitot (salle 226 à 14h)
Titre: Simulation des systèmes stochastiques en génomique
Nous verrons l'exemple A+B<->C et un exemple de gène autorégulé
30 avril
23 avril
16 avril
9 avril
2 avril - Guillaume Moroz (LIP6 et MAPLESOFT)
Title: Systèmes paramétrés et applications
Abstract: Les systèmes d'équations polynomiales paramétrées apparaissent dans de nombreux domaines comme la calibration photographique, la robotique ou la biologie. De tels systèmes admettent-il des solutions réelles ? Peut-on classer le nombre de solutions réelles du système considéré en fonction des paramètres ?
Nous verrons comment des méthodes symboliques permettent d'apporter des réponses à ces questions fondamentales en théorie et en pratique.
26 mars
19 mars - séminaire LIFL: Sylvain Sené
12 mars
5 mars
26 février
19 février - Mohab Safey El Din (INRIA/LIP6 - SALSA project)
Exposé à 10h00, en salle 226, exceptionnellement.
Title: Real Solving Polynomial Systems with the Critical Point Method: From Theory to Practice
Abstract: Polynomial systems of equations and/or inequalities appear naturally in various fields, such as robotics, chemistry, pattern-matching or for proving theorems in computational geometry. Most of the time, informations on the set of real solutions are required, such as deciding its emptiness, computing sampling points in the connected components of the real solution set or deciding if two given points belong to the same connected component.
Most of these problems can be tackled by the Cylindrical Algebraic Decomposition Algorithms (or its variants) but its theoretical complexity, which is doubly exponential in the number of variables, limits its practical use to problems involving 3 or 4 variables.
More recently, algorithms based on the so-called critical point method have been introduced in 1988. They lead to theoretical complexity bounds which are singly exponential on the number of variables. The core idea is to reduce the problems described above to solving zero-dimensional polynomial systems whom sets of solutions are critical points of a polynomial mapping. Up to recently, the algorithms based on this framework had not lead to practical improvements.
In this talk, I will review the basics of the critical point method and describe some recent algorithmic progress which lead to efficient implementations reflecting the single exponential complexity of the critical point method, extending significantly the potential of Computer Algebra for solving the aforementionned problems. In particular, I will focus on the problems of computing sampling points in some semi-algebraic sets.
12 février - Asli Urguplu
Symétries de Lie d'un système algèbrique et d'un système d'ODEs. Illustration sur des examples.
L'algèbre de Lie
5 février - Asli Urguplu
Symétries de Lie. Comment les calculer en pratique ?
29 janvier
22 janvier
15 janvier - Eric Wegrzynowski
8 janvier
18 décembre - François Boulier
Sur des algorithmes heuristiques de choix de classement.
11 décembre
30 novembre - 4 décembre
Visite de Markus Rosenkranz et Georg Regensburger.
Lundi 1er décembre - exposé au laboratoire Painlevé.
27 novembre
20 novembre
13 novembre
Étude de l'article d'ISSAC de Markus Rosenkranz et Georg Regensburger.
6 novembre
30 octobre
23 octobre - Journées Nationales de Calcul Formel
16 octobre
9 octobre
2 octobre - Asli Ürgüplü
Sur MABSys. Préparation aux JNCF.
25 septembre - François Boulier
Sur DifferentialAlgebra.
18 septembre - Mirabelle Nebut (BioComputing)
Sur la modélisation du tryptophane.
11 septembre
4 septembre
Réunion de rentrée
