Institut de Mathématiques de Jussieu-Paris Rive Gauche
CNRS Paris Diderot  Sorbonne Université


Frédéric LE ROUX

Je fais partie du projet "Analyse Algébrique", mes thèmes de recherches sont les systèmes dynamiques en dimension deux, les homéomorphismes hamiltoniens, et les propriétés algébriques des groupes de transformations.

SORBONNE UNIVERSITE

Equipe : Analyse Algébrique

Contact

E-mail :
Bureau : 15-25 507
Téléphone : 01 44 27 54 25

Adresse

Institut de Mathématiques de Jussieu - Paris Rive Gauche (IMJ-PRG)

Sorbonne Université – Campus Pierre et Marie Curie
4 place Jussieu,
75252 Paris Cedex 5
Boite Courrier 247

Accès



D∃∀DUCTION 0.39996

  • Tentative d’amélioration de l’ergonomie de la calculatrice (en particulier, une seule fenêtre au lieu de deux, et navigation plus intuitive (?))
  • Ajout de messages explicatifs dans des fenêtres d’alerte,
  • L’énoncé est affiché quand on retourne au début
  • L’utilisateur peut nommer les nouvelles variables (en option)
  • Icône de nouvel objet remplacée par du gras
  • L’installation en réseau est facilitée (Lean et Mathlib sont recherchés d’abord de façon centralisée)

D∃∀DUCTION 0.3999

Nouveautés : corrections divers bugs, exercices élémentaires d’arithmétique

Instructions d’installation :

  • Pour une installation légère sous Linux ou Mac, choisir le premier ou deuxième lien.
  • Pas de version légère pour Windows pour le moment, utiliser la machine virtuelle.
  • La machine virtuelle prend une place mémoire importante (autour de 30Go), mais permettra une mise à jour facile. Voici les instructions d’installation :
    • Installez le logiciel Oracle VirtualBox VM sur votre système https://www.virtualbox.org/wiki/Downloads (si votre système est Linux et que vous ne tenez pas absolument a avoir la derniere version, il suffit de taper: sudo apt-get install virtualbox virtualbox-ext-pack)
    • Téléchargez le fichier : Debian-ProofAssistants.ova
    • Dans un explorateur de fichiers, faites un clic droit sur le fichier Debian-ProofAssistants.ova précédemment téléchargé et choisissez ‘Ouvrir avec Oracle VM VirtualBox’ Puis Cliquez sur ‘Importer’
    • Dans le logiciel ‘Oracle VM VirtualBox’ cliquez sur la machine « Debian-ProofAssistants » (colonne de gauche) puis sur « Démarrer » (grosse flèche verte)
    • Le login est ‘appam’ et le mot de passe est ‘anr’
    • Double-cliquer sur le script ‘Deaduction.sh’ qui apparait sur le bureau virtuel