{"word_count": 292, "character_count": 2403}
Mercredi 12 au vendredi 14 octobre 2011Université de Lille 3, Maison de la Recherche, salle 008.Pratiques algorithmiques dans les mathématiques pré-modernes (responsables : Fabio Acerbi et Marc Moyon)Programme &#160;Mercredi 12 octobre (15h-18h)Fabio Acerbi (CNRS, UMR 8163 STL) : Introduction. Preuves, procédures, algorithmes : une approche syntaxique. Répondant Bernard Vitrac (CNRS, UMR 8210 ANHIMA, Paris)Acerbi_ExemplierAcerbi_Tableau synoptiqueChristine Proust (CNRS, UMR 7219 SPHERE, Paris) : Des algorithmes pour fabriquer des équations: structures textuelles et expression des opérations dans quelques textes mathématiques cunéiformes. Répondant Jim Ritter (CNRS, UMR 7041 ArScAn, et Université Paris X)Proust-ExemplierAnnette Imhausen (Frankfurt University) : Egyptian Mathematical Algorithms: The Hieratic and Demotic Evidence Répondant Jim Ritter (CNRS, UMR 7041 ArScAn, et Université Paris X)&#160;Jeudi 13 octobre (9h30-12h30)Alain Bernard (Université Paris XII, IUFM Créteil, et EHESS - Centre Alexandre Koyré), Jean Christianidis (Athens University) : La place de la démarche algorithmique dans le projet de Diophante de développer 'l'invention' dans les problèmes arithmétiques.Répondant Ken Saito (Osaka Prefecture University)Bernard_Christianidis_ExemplierKarine Chemla (CNRS, UMR 7219 SPHERE, Paris) : Démontrer la correction d'algorithmes par le biais d'algorithmes en Chine ancienne.Répondant Andréa Bréard (Université de Lille 1)Chemla_ExemplierChemla_slides Jeudi 13 octobre (15h-18h)François Patte (Université Paris Descartes, laboratoire CNRS MAP5, UMR 8145) : En Inde, la pensée-algorithme.Répondant Agathe Keller (CNRS, UMR 7219 SPHERE, Paris)Patte_ExemplierEzzaim Laabid (Université Cadi Ayyad, Marrakech) : Les pratiques algorithmiques dans les mathématiques liées à la science des héritages en Pays d’Islam.Répondant Marc Moyon (Université de Limoges)Laabid_Expose_Algo Vendredi 14 octobre (9h30-12h30)Jens Høyrup (Emeritus, Roskilde University) : Explicit and less implicit algorithmic thinking, 1200-1500: Jordanus de Nemore, abbacus arithmetic, and the contrast Barthélemy de Romans/Chuquet.Répondant Edmond Mazet (Université de Lille 3, STL)Hoyrup_Texte de la présentationStéphane Lamassé (Université Paris I Panthéon-Sorbonne) : Algorithmes et arithmétiques dans les arithmétiques "pratiques" de la fin du Moyen Age.Répondant Marc Moyon (Université de Limoges)&#160;