From a scientific perspective, the work performed over the course of the project focused on two main aspects of a formal analysis of language crucial for the analysis of mathematical textuality: segmentation, i.e. the identification of relevant textual units; and typing, i.e. the organization of such units into mutually dependent classes. The case of elementary arithmetic was chosen as the privileged case study for this approach. This work resulted in several scientific publications and the development of “semiolog”, a Python software package, released in alpha version for the use of the scientific community. The main insight provided concerns the relation between those two aspects of linguistic analysis, often treated independently in the current orientations of the field, and the proposition of a distributional approach to certain aspects of mathematical knowledge. Moreover, the conceptual consequences of this novel perspective offered a ground to carry out a critical approach to recent applications of artificial intelligence to the analysis of language, motivating a series of publications within the framework of this project. This analytical and critical work was also accompanied by a historical account of certain aspects of the problems addressed, motivating one scientific publication and informing the teaching activity associated with this project. A seminar was organized in the early stages of the project, as well as an international workshop near its conclusion. The results were disseminated in several academic events (seminars, workshops, conferences) and communicated to a broader audience in lectures, public debates, tutorials, and publications. Finally, the project motivated several international scientific collaborations.
