|
Size: 1059
Comment:
|
Size: 1870
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 17: | Line 18: |
| Intervenants : Valérie Berthé (CNRS, LIAFA, Paris), Jérémie Bourdon (Univ. Nantes, Lina, Nantes), Anne Siegel (CNRS, IRISA, Rennes) | Intervenants du cours : Valérie Berthé (CNRS, LIAFA, Paris), Jérémie Bourdon (Univ. Nantes, Lina, Nantes), Anne Siegel (CNRS, IRISA, Rennes) |
| Line 19: | Line 20: |
| Plan, propositions (Timo Jolivet) : | |
| Line 20: | Line 22: |
| codage de segments de droites, fractions continues et substitutions sturmiennes, voiles de Klein, | * 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]] |
| Line 22: | Line 25: |
| == 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 == |
| Line 24: | Line 27: |
| Intervenants : Michel Coste (Univ. Rennes 1, IRMAR, Rennes), Guillaume Moroz (Inria, LORIA, Nancy), Laurent Busé (Inria, EPI Galaad, Sophia Antipolis) | Intervenants du cours : Michel Coste (Univ. Rennes 1, IRMAR, Rennes), Guillaume Moroz (Inria, LORIA, Nancy), Laurent Busé (Inria, EPI Galaad, Sophia Antipolis) |
| Line 27: | Line 30: |
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 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)
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