Le carnet est le lieu public du projet « Structures déductives algorithmiques dans les mathématiques pré-algébriques », acronyme ALGO, dont le financement a été accepté par l’ANR fin mai 2009.

L’objectif principal du projet ALGO est de mener une investigation approfondie sur les caractéristiques algorithmiques de certains schémas inférentiels dans les mathématiques de l’époque pré-moderne. Les recherches porteront sur les mathématiques grecques anciennes, mais les mathématiques d’autres cultures : arabe, arabo-latine, babylonienne, chinoise, égyptienne et indienne, seront prises en compte, mathématiques dans lesquelles les algorithmes ont joué un rôle déterminant dans la constitution de ces schémas inférentiels.