"Edukera : une nouvelle façon de faire des maths"

Le Laboratoire d'informatique Gaspard-Monge de l'UPEM (UMR 8049 LIGM) vous convie le Mardi 5 mai 2015 à 14h30 pour un séminaire intitulé :

"Edukera : une nouvelle façon de faire des maths"

Résumé :       

Edukera est une application en ligne permettant de résoudre des exercices de mathématiques. Sa réalisation a nécessité la mise en place d'une interface web ergonomique d'élaboration de raisonnements, ainsi que l'intégration du moteur de logique formelle COQ.

La présentation abordera plusieurs aspects du sujet :

• démonstration de l'application
• architecture technique de l'application
• considérations pédagogiques

Intervenant : Benoit Rognier, dirigeant de la société Edukera.

Lieu : salle 4B05R, 4ème étage, Bât. Copernic, Cité Descartes, 5, bd Descartes, Champs-sur-Marne 77454 Marne-la-Vallée Cedex 2.

Contacts : 01.60.95.77.50 / 01.60.95.75.57