Organisation EJC Rennes

• Install party ?
• cle usb live ?

Cours prevus dans lequel nous pouvons intervenir

Linguistique des séquences biologiques

Intervenants: François Coste (Inria, IRISA, Rennes) et Jacques Nicolas (Inria, IRISA, Rennes)

Jour du cours : lundi

suggestion: BioPython et R via Sage

Applications de systèmes dynamiques discrets

Intervenants : Valérie Berthé (CNRS, LIAFA, Paris), Jérémie Bourdon (Univ. Nantes, Lina, Nantes), Anne Siegel (CNRS, IRISA, Rennes)

Jour du cours : mercredi

Plan, propositions:

• fonctions de base de sage pour la combinatoire des mots (iterer une substitution, calcul de complexite)
• jouer sur l'equilibre et la complexite qui varient quand on modifie l'ordre des lettres dans une substitution sturmienne et qu'on la rend non sturmienne.
• codage de segments de droites
• fractions continues et substitutions sturmiennes
• voiles de Klein

Pertinence du calcul formel en modélisation géométrique et en robotique

Intervenants : Michel Coste (Univ. Rennes 1, IRMAR, Rennes), Guillaume Moroz (Inria, LORIA, Nancy), Laurent Busé (Inria, EPI Galaad, Sophia Antipolis)

Jour du cours : vendredi

Sage contient Singular et permet de faire du calcul avec les polynomes de plusieurs variables

Proposition (Guillaume Moroz):

• un système de polynômes modélisant un mécanisme robotique
• le calcul d'un mineur de sa matrice jacobienne
• l'élimination de variables
• l'affichage de la courbe/surface résultat
• indépendamment, un exemple de variété avec des points de rebroussement