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.

Fields of science

• humanities › languages and literature › linguistics
• natural sciences › computer and information sciences › software
• humanities › history and archaeology › history
• natural sciences › mathematics
• humanities › philosophy, ethics and religion › philosophy

Programme(s)

• H2020-EU.1.3. - EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions Main Programme
• H2020-EU.1.3.2. - Nurturing excellence by means of cross-border and cross-sector mobility

Topic(s)

• MSCA-IF-2018 - Individual Fellowships

Call for proposal

H2020-MSCA-IF-2018

See other projects for this call

Funding Scheme

MSCA-IF-EF-ST - Standard EF

Coordinator

EIDGENOESSISCHE TECHNISCHE HOCHSCHULE ZUERICH

Net EU contribution

€ 191 149,44

Address

Raemistrasse 101
8092 Zuerich
Switzerland

Region

Schweiz/Suisse/Svizzera › Zürich › Zürich

Activity type

Higher or Secondary Education Establishments

Links

Other funding

€ 0,00