EJC Rennes, séances Sage

Page de l'école jeunes chercheurs: EJCIM2012.

Lundi : introduction à Sage

Si vous débutez avec Sage, nous vous conseillons de faire les feuilles dans l'ordre. Sinon vous pouvez sauter la première feuille et piocher selon vos préférences.

• introduction_a_sage.sws: une feuille d'introduction pour apprendre à taper des commandes.

• programming_in_sage.sws: utilisation des structures de données de Python (tuple, list, dictionnaires) et programmation (boucle, structures conditionelles, ...).

Vous pouvez aussi télécharger le support de la présentation presentation.pdf.

Mercredi : systèmes dynamiques discrets

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

Plan, propositions (Timo Jolivet) :

• Tracé de courbes fractales en utilisant des substitutions (exemples)

• L-systèmes

Vendredi : calcul formel en modélisation géométrique et en robotique

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

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