Skip to main content

Towards a theory of mathematical signs based on the automatic treatment of mathematical corpora

Project description

An automated corpus-based analysis of semiotics

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.

Coordinator

EIDGENOESSISCHE TECHNISCHE HOCHSCHULE ZUERICH
Net EU contribution
€ 191 149,44
Address
Raemistrasse 101
8092 Zuerich
Switzerland

See on map

Region
Schweiz/Suisse/Svizzera Zürich Zürich
Activity type
Higher or Secondary Education Establishments
Other funding
€ 0,00