Year 2011-2012
During the second semester, the computer algebra meeting group is held on Wednesday 2h00. During the first semester, it held on Tuesday 9h30 ; the joint working group with BioComputing is held on Thursday 14h00.
20 juin - Stefan Mueller (14h00, M3 Turing)
An integrated model of carbon fluxes in a photobioreactor
7 juin - Laure Gonnord (13h30, M3 Turing)
Analyse des relations linéaires pour la découverte d'invariants polyédriques de programmes
30 mai - Mihály Petreczky
On the realization theory
30 mars - George Labahn (10h00, M3 ext. 226)
Scaling Invariants and Symmetry Reduction of Dynamical Systems
http://hal.inria.fr/hal-00668882
http://hal.inria.fr/hal-00668882
28 mars - réunion LEDA
Visite de François Ollivier à Lille.
21 mars - Michel Petitot (M3 ext. 226)
Sur les systèmes stochastiques en régime stationnaire
14 mars - Ainhoa Aparicio Monforte (M3 ext. 226)
Sur des corps de séries de Laurent formelles en plusieurs variables
7 mars - Michel Petitot
Sur les systèmes stochastiques
15 février - Adrien Poteaux (M3 ext. 226)
Sur la complexité du calcul modulo un ensemble triangulaire zéro-dimensionnel
Soient K un corps parfait, et Y=Y1,...,Yn des indeterminées sur K. Un ensemble triangulaire (unitaire et en dimension 0) T=T1,...,Tn est une famille de polynômes de K[Y] telle que pour tout i, Ti appartient à K[Y1,...,Yi] est unitaire et réduit modulo <T1,...,T(i-1)>. Le degré de T est le produit deg(T1,Y1)...deg(Tn,Yn). Ces objets permettent de résoudre de nombreux problèmes pour les systèmes d'équations polynomiales.
Cet exposé, s'intéresse à la complexité de diverses opérations modulo un ensemble triangulaire : la multiplication, la quasi-inversion, le problème de composition modulaire (i.e. calculer F(G1(Y),...,Gm(Y)) mod <T>) et le problème transposé de projection des puissances, le problème de changement d'ordre, et enfin celui de décomposition équiprojetable.
Nous montrerons comment réduire ces problèmes au problème de composition modulaire et de projection des puissances bivariés. Ceci nous amènera à des résultats de complexité sous-quadratique dans un cadre algébrique, et quasi-linéaire quand K est un corps fini (ce qui améliore les algorithmes existants quand le nombre de variable n n'est pas borné par une constante).
Enfin, nous montrerons le problème inverse, i.e. comment ramener le problème de composition modulaire à celui du changement d'ordre d'un ensemble triangulaire.
Soient K un corps parfait, et Y=Y1,...,Yn des indeterminées sur K. Un ensemble triangulaire (unitaire et en dimension 0) T=T1,...,Tn est une famille de polynômes de K[Y] telle que pour tout i, Ti appartient à K[Y1,...,Yi] est unitaire et réduit modulo <T1,...,T(i-1)>. Le degré de T est le produit deg(T1,Y1)...deg(Tn,Yn). Ces objets permettent de résoudre de nombreux problèmes pour les systèmes d'équations polynomiales.
Cet exposé, s'intéresse à la complexité de diverses opérations modulo un ensemble triangulaire : la multiplication, la quasi-inversion, le problème de composition modulaire (i.e. calculer F(G1(Y),...,Gm(Y)) mod <T>) et le problème transposé de projection des puissances, le problème de changement d'ordre, et enfin celui de décomposition équiprojetable.
Nous montrerons comment réduire ces problèmes au problème de composition modulaire et de projection des puissances bivariés. Ceci nous amènera à des résultats de complexité sous-quadratique dans un cadre algébrique, et quasi-linéaire quand K est un corps fini (ce qui améliore les algorithmes existants quand le nombre de variable n n'est pas borné par une constante).
Enfin, nous montrerons le problème inverse, i.e. comment ramener le problème de composition modulaire à celui du changement d'ordre d'un ensemble triangulaire.
8 février - Michel Petitot (M3 ext. 226)
Sur les équations différentielles linéaires avec application aux réseaux de Petri.
Du 8 au 10 novembre
Visite de Georg Regensburger (Gif-sur-Yvette)
Complex balancing equilibria of generalized mass action systems and sign vectors of the stoichiometric and kinetic-order subspace. A joint work with Stefan Müller
Complex balancing equilibria of generalized mass action systems and sign vectors of the stoichiometric and kinetic-order subspace. A joint work with Stefan Müller
Du 2 au 3 novembre
Visite de Carole El Bacha (Limoges)
Méthodes Algébriques pour la Résolution d'Équations Différentielles Matricielles d'Ordre Arbitraire
Méthodes Algébriques pour la Résolution d'Équations Différentielles Matricielles d'Ordre Arbitraire
21 octobre (16h00 - amphi Turing) - Andreas Weber (Bonn University)
Computer Algebra Methods for Computing and Excluding Oscillations of Parametric Dynamical Systems
Investigating oscillations for parametric ordinary differential equations (ODEs) has many applications in science and engineering but is a very hard problem. Hopf bifurcations in general yield oscillations, and we will discuss methods to parametrically compute Hopf bifurcations (of rational vector fields) by reductions to quantifier elimination problems on the ordered field of the reals. Using current software systems the problem of existence of Hopf bifurcations can be handled fully algorithmically in general for about 3 to 4 dimensional problems (in theory, the method will work for arbitrary dimensions). We will discuss possible variations of the method by computing the flux cone first that might allow the computation of Hopf bifurcations in much higher dimensions.
For excluding oscillations many researchers presume that in the case of chemical reaction systems Hopf bifurcations are the mechanism associated with oscillations. However, in general the problem of excluding oscillations is more general than the one of excluding Hopf bifurcations. We review some recently developed criteria which give sufficient conditions to exclude oscillations by reducing them to problems on semi-algebraic sets (for polynomial or rational vector fields). We will give some examples and we will discuss possible future work in the form of problems to be solved. Some of these problems might be rather immediate to be solved, some others might pose major challenges.
Investigating oscillations for parametric ordinary differential equations (ODEs) has many applications in science and engineering but is a very hard problem. Hopf bifurcations in general yield oscillations, and we will discuss methods to parametrically compute Hopf bifurcations (of rational vector fields) by reductions to quantifier elimination problems on the ordered field of the reals. Using current software systems the problem of existence of Hopf bifurcations can be handled fully algorithmically in general for about 3 to 4 dimensional problems (in theory, the method will work for arbitrary dimensions). We will discuss possible variations of the method by computing the flux cone first that might allow the computation of Hopf bifurcations in much higher dimensions.
For excluding oscillations many researchers presume that in the case of chemical reaction systems Hopf bifurcations are the mechanism associated with oscillations. However, in general the problem of excluding oscillations is more general than the one of excluding Hopf bifurcations. We review some recently developed criteria which give sufficient conditions to exclude oscillations by reducing them to problems on semi-algebraic sets (for polynomial or rational vector fields). We will give some examples and we will discuss possible future work in the form of problems to be solved. Some of these problems might be rather immediate to be solved, some others might pose major challenges.
18 octobre
Visite de François Ollivier. Réunion LEDA à Lille. Résultants différentiels (F. Boulier). Estimation de paramètres et méthodes par intervalles (F. Ollivier). Systèmes de réactions chimiques (F. Lemaire).
14 octobre 15h30 - Alexandre Sedoglavic (M3 ext. 211)
Sur les résultants différentiels
3 octobre 9h30 - Adrien Poteaux (M3 ext. 226)
26 septembre 10h30 - François Boulier (M3 ext. 226)
On the regularity property of differential polynomials modulo regular differential chains ... and related open problems.
Du 19 au 24 septembre
Conférence MAGIX@LIX (Palaiseau)
2 septembre 17h00
Réunion de rentrée. Éméritat de Michel Petitot. Bienvenue à Adrien Poteaux.