1,715
Views
0
CrossRef citations to date
0
Altmetric
Articles

Mathematical formalization and diagrammatic reasoning: the case study of the braid group between 1925 and 1950