Periodic Reporting for period 1 - SemioMaths (Towards a theory of mathematical signs based on the automatic treatment of mathematical corpora)

The philosophy and history of mathematics has recently evolved in the direction of understanding mathematical knowledge as a product of human practices rather than purely abstract logic. This has led to an increased importance of the analysis of mathematical language. However...