Year 2006-2007

Meetings on thursday from 1.30 PM to 3.30 PM in room 101 of the extension of the M3.
URL : http://www2.lifl.fr/CALFORME.
For a talk, send an email to Francois.Lemaire@lifl.fr.

27 Juin - Gabriel Dos Reis (14h)

The Axiom Computer Algebra System

Abstract: Axiom, formally known as `Scratchpad' -- a research project developed at IBM and subsequently a product of NAG --, is an open source computer algebra system. Axiom's approach to Computer Algebra is fundamentally alegbraic with emphasis on strong typing, therefore providing unique features to support computational mathematics. In this talk, I'll present the current state of the Axiom system, its architecture, uses, sub-projects and future directions.

21 Juin - Alexey Ovchinnikov

Bounding canonical characteristic sets and the Rosenfeld-Groebner algorithm

Résumé : We shall discuss how to bound orders of derivatives appearing in canonical characteristic sets of characterizable ideals and in the Rosenfeld-Groebner algorithm in the ordinary case.

14 Juin - François Lemaire

Réduction de modèles en chimie. Qui est rapide :

les concentrations ou les réactions ?"

7 Juin - Samuel Vidal

Introduction à la Théorie des espèces combinatoires de Joyal. Exemples et applications

Résumé : Après avoir brièvement introduit et motivé les quelques définitions de base, je présenterai quelques-unes des principales opérations entre espèces combinatoires et leurs contreparties en terme de séries génératrices et séries indicatrices des cycles.

Tout au long de l'exposé, j'illustrerai sur des exemples tirés du livre de Bergeron, Leroux et Labelle le caractère très concret et très intuitif de cette théorie pour produire des dénombrements de structures non-étiquetées (avec automorphismes).

8 février - Raouf Dridi

Symétries internes vs symétries externes

1 février

Journées Nationales de Calcul Formel

25 janvier - François Boulier

Tracé de courbes algébriques planes

16 novembre

9 novembre

2 novembre

26 octobre - Alexandre Sedoglavic

Projection sur le corps des constantes d'une dérivation par le biais d'un élément principal.

19 octobre - Michel Petitot

Suite de l'exposé précédent.

12 octobre - Michel Petitot

Introduction à la thèse de Raouf Dridi.

5 octobre - François Boulier

Application du critère de Routh-Hurwitz à un modèle étudié par Pierre-Emmanuel Morant.

28 septembre - François Lemaire

Les systèmes biologiques simples n'oscillent pas