|
Size: 1059
Comment:
|
Size: 1907
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: |
| suggestions de vincent delecroix qui organise cette session: utilisation conjointe de BioPython et R via Sage, utilisation des possibilites graphiques) | Vous pouvez aussi télécharger le support de la présentation [[attachment:presentation.pdf]]. |
| Line 15: | Line 16: |
| == Applications de systèmes dynamiques discrets == | == Mercredi: systèmes dynamiques discrets == |
| Line 19: | Line 20: |
| Jour du cours : mercredi | |
| Line 20: | Line 22: |
| codage de segments de droites, fractions continues et substitutions sturmiennes, voiles de Klein, | Plan, propositions (Timo Jolivet) : |
| Line 22: | Line 24: |
| == Pertinence du calcul formel en modélisation géométrique et en robotique == | * Tracé de courbes fractales en utilisant des substitutions ([[http://en.wikipedia.org/wiki/List_of_fractals_by_Hausdorff_dimension|exemples]]) * [[http://en.wikipedia.org/wiki/L-system|L-systèmes]] == Vendredi: calcul formel en modélisation géométrique et en robotique == |
| Line 26: | Line 31: |
| Jour du cours : vendredi |
|
| Line 27: | Line 35: |
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 |
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 (exemples)
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