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

Full project page

Organisations map overview