Mathematical formalization and diagrammatic reasoning: the case study of the braid group between 1925 and 1950
From MaRDI portal
Publication:5378563
Recommendations
- How to notate a crossing of strings? On Modesto Dedò's notation of braids
- `Nobody could possibly misunderstand what a group is': a study in early twentieth-century group axiomatics
- Knot Invariants in Vienna and Princeton during the 1920s: Epistemic Configurations of Mathematical Research
- The set of paths in a space and its algebraic structure. A historical account
- Visual Mathematics: Diagrammatic Formalization and Proof
Cites work
- scientific article; zbMATH DE number 5505771 (Why is no real title available?)
- scientific article; zbMATH DE number 3991451 (Why is no real title available?)
- scientific article; zbMATH DE number 3521895 (Why is no real title available?)
- scientific article; zbMATH DE number 1317261 (Why is no real title available?)
- scientific article; zbMATH DE number 1037273 (Why is no real title available?)
- scientific article; zbMATH DE number 2052463 (Why is no real title available?)
- scientific article; zbMATH DE number 1385334 (Why is no real title available?)
- scientific article; zbMATH DE number 928934 (Why is no real title available?)
- scientific article; zbMATH DE number 6457707 (Why is no real title available?)
- scientific article; zbMATH DE number 2229038 (Why is no real title available?)
- A FORMAL SYSTEM FOR EUCLID’SELEMENTS
- Beiträge zur Theorie der Zöpfe. I. Über eine besondere Klasse von Zöpfen
- Beiträge zur Theorie der Zöpfe. II. Die Lösung des Transformationsproblems für eine besondere Klasse von Viererzöpfen
- Braids and permutations
- De D. Hilbert à E. Artin: Les différents aspects du dix-septième problème et les filiations conceptuelles de la théorie des corps réels clos
- Forms and roles of diagrams in knot theory
- From Euclidean geometry to knots and nets
- How to think about informal proofs
- On formal and informal provability
- On the algebraical braid group
- Philosophy of mathematics
- Proclus’ Conception of Geometric Space and Its Actuality
- The algebraical braid group
- Theory of braids
- Über Verkettungsgruppen
- Über Zopfgruppen und gleichsinnig verdrillte Verkettungen
- Über Zopfinvarianten
- Über ein spezielles Transformationsproblem bei einer besonderen Klasse von Zöpfen
Cited in
(3)
This page was built for publication: Mathematical formalization and diagrammatic reasoning: the case study of the braid group between 1925 and 1950
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5378563)