1750
Comment:
|
1781
|
Deletions are marked like this. | Additions are marked like this. |
Line 1: | Line 1: |
= Organisation EJC Rennes = | ## page was renamed from combinat/EjcGdrIm2012EJC = EJC Rennes, séances Sage = |
Line 3: | Line 4: |
* Install party ? | Page de l'école jeunes chercheurs: [[http://ejcim2012.irisa.fr/index.html|EJCIM2012]]. |
Line 5: | Line 6: |
* cle usb live ? | == Lundi: introduction à Sage == |
Line 7: | Line 8: |
Cours prevus dans lequel nous pouvons intervenir | 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. |
Line 9: | Line 10: |
== Linguistique des séquences biologiques == | * [[attachment:introduction_a_sage.sws]]: une feuille d'introduction pour apprendre à taper des commandes. |
Line 11: | Line 12: |
Intervenants: François Coste (Inria, IRISA, Rennes) et Jacques Nicolas (Inria, IRISA, Rennes) | * [[attachment:programming_in_sage.sws]]: utilisation des structures de données de Python (tuple, list, dictionnaires) et programmation (boucle, structures conditionelles, ...). |
Line 13: | Line 14: |
Jour du cours : lundi | Vous pouvez aussi télécharger le support de la présentation [[attachment:presentation.pdf]]. |
Line 15: | Line 16: |
suggestions de vincent delecroix qui organise cette session: utilisation conjointe de BioPython et R via Sage, utilisation des possibilites graphiques) == Applications de systèmes dynamiques discrets == |
== Mercredi: systèmes dynamiques discrets == |
Line 23: | Line 22: |
Plan, propositions: | Plan, propositions (Timo Jolivet) : |
Line 25: | Line 24: |
* 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 |
* Tracé de courbes fractales en utilisant des substitutions * L-systèmes |
Line 31: | Line 27: |
== Pertinence du calcul formel en modélisation géométrique et en robotique == |
== Vendredi: calcul formel en modélisation géométrique et en robotique == |
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 : 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 (Timo Jolivet) :
- Tracé de courbes fractales en utilisant des substitutions
- L-systèmes
Vendredi: 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