This website is under construction !

Funded by the Marie Skłodowska-Curie Actions programme, the SemioMaths project aims to propose a formal model for the automatic analysis of mathematical corpora, based on semiotic theories and recent advances in formal and computational linguistics. The ultimate goal is to provide a broad and solid framework for the philosophy and the history of mathematics, with special focus on mathematical practices. The project will study various existing mathematical corpora, develop concrete implementations of linguistic computational models on mathematical corpora and elaborate on the corresponding results in the form of scientific articles and a software package.



Why Can Computers Understand Natural Language?
Lecture at Digital Theory Lab, NYU.
12:00 pm EST. Zoom.


Neural Approaches to Mathematics
Lecture at the ITS (The Graduate Center, CUNY)
365 Fifth Avenue, New York, USA.
10:00 am EST. Room 5209.


Content from Expressions: from Distributional Properties of Numerals to Arithmetical Content
Lecture at the University of Chapman