|
Size: 1634
Comment:
|
Size: 1781
Comment:
|
| 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: |
| suggestion: BioPython et R via Sage == 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