Email:
my_last_name AT unice DOT fr
Phone: +33 (0)4 92 07 64 78
Fax: +33 (0)4 93 51 79 74
Location: Office 411, Building "Recherche Mathematique" ("W"), whose real name is Laboratoire J.-A. Dieudonne' (see the very nice interactive map of Campus Valrose or the static plan (jpg))
A somewhat outdated personal webpage is my googlepages webpage.
I started my PhD thesis under the supervision of Andre Hirschowitz in autumn 2008. The topic is games and logic.
My masters thesis: truth.pdf truth.tex literature.bib truth_presentation.tex truth_presentation.pdf
A presentation about categories in programming: categories_programming.pdf categories_programming.tex
A small piece of category theory formalized in Coq
I am responsible for the Seminaire Pampers Facile, the seminar for people who are interested in maths, by the PhD students of Labo JAD. Visit the lovely webpage of SPF.
Together with Julianna I am organizing the Colloque doctorants 2009. Here is the corresponding provisional webpage, the design ruthlessly stolen from our predecessors.
Le cours sera organise' et prepare' par Francine Diener.
La page web du cours 2009/10 (avec feuilles du cours, les exos et les solutions)
ici aussi tu peux trouver les feuilles
Page du cours de l'annee 2008/09 avec cours, exos et solutions. Attention: les exos de cette annee seront un peu pareils, mais pas les memes...
pour feuille td 3, exo 5, partie 2 j'ai fait une feuille qui donne une possibilite de le faire (c'est peut-etre pas la plus simple)
All the material for the course (including exercise sheets and solutions) can be found at G. Comte's webpage.
I will create some files to show how to play with the mathematics programs GNU Octave and Maxima. Both these programs are released under a free license and can legally be downloaded, installed, used, passed on, modified etc. as often as one wishes to do. The files will (hopefully) develop in the next weeks. Both files are text files and can be viewed and edited with any text editor. Read them, they contain information on how to run the files with the mentioned programs.
octave_test.m ---- maxima_test.txt
The course is organized and prepared by Francine Diener.
Francine's Maths pour Bio page...
N'hesitez pas de m'envoyer un email ou passer dans mon bureau quand il y des questions.
| Modele de Lotka-Volterra: | Cours 1 (pdf) | Exercise sheet 1 (pdf) | Exercise sheet 1 w. solutions (pdf) |
| Resolution de systemes differentielles: | Cours 2 (pdf) | Exercise sheet 2 (pdf) | Exercise sheet 2 w. solutions (pdf) |
| Resolution de systemes differentielles II: | Exercise sheet 3 (pdf) | Exercise sheet 3 w. solutions (pdf) | |
| Loi de Conservation: | Cours 4 (pdf) | Exercise sheet 4 (pdf) | Exercise sheet 4 w. solutions (pdf) |
| Methode d'Euler: | Exercise sheet 5 (pdf) | ||
| Classification des equilibres: | Cours 6 (pdf) | Exercise sheet 6 (pdf) | Exercise sheet 6 w. solutions |
| Classification hierarchique ascendante: | Cours 7 (pdf) | Exercise sheet 7 (pdf) | Exercise sheet 7 w. solutions |
| Classification - centres mobiles: | Cours 8 (pdf) | Exercise sheet 8 (pdf) | Exercise sheet 8 w. solutions |
| Class. (plus proche voisin) et graphes: | Cours 9 (pdf) | Exercise sheet 9 (pdf) | Exercise sheet 9 w. solutions |
Equations de Lotka-Volterra (Wikipedia francais)
Dynamique des populations (Wikipedia francais)
I encourage you to study also the corrensponding english articles, which are often more detailed.
Modele de Lotka-Volterra interactive - pour les gens qui aiment jouer... (requires Java Runtime Environment)
My office is in the building "Recherche Mathematique", called "W".