Henrik Kragh Sørensen
Professor
- 2024
- Udgivet
Mathematicians and visuo-spatial thinking
Breman, H., Hoekzema, R., Sørensen, Henrik Kragh, Johansen, Mikkel Willum & Goebe, R., 2024. 3 s.Publikation: Konferencebidrag › Poster › Forskning › fagfællebedømt
- Udgivet
What is an experiment in mathematical practice? New evidence from mining the Mathematical Reviews
Sørensen, Henrik Kragh, Mathiasen, S. K. & Johansen, Mikkel Willum, 2024, I: Synthese. 203, 2, 21 s., 49.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 2022
- Udgivet
Epistemic Roles of Diagrams in Short Proofs
Sørensen, Henrik Kragh & Johansen, Mikkel Willum, 2022, Diagrammatic Representation and Inference. Springer, s. 235–242 8 s. (Lecture Notes in Computer Science, Bind 13462).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2021
- Udgivet
Adapting practice-based philosophy of science to teaching of science students
Green, Sara, Andersen, Hanne, Danielsen, K., Emmeche, Claus, Joas, Christian, Johansen, Mikkel Willum, Nagayoshi, C., Witteveen, Joeri & Sørensen, Henrik Kragh, 2021, I: European Journal for Philosophy of Science. 11, s. 1-18 75.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Beyond Counting: Measuring Diagram Intensity in Mathematical Research Papers
Sørensen, Henrik Kragh, 2021, Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Proceedings. Basu, A., Stapleton, G., Linker, S., Legg, C., Manalo, E. & Viana, P. (red.). 1 udg. Springer, s. 63-70 8 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12909 LNAI).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Midt i en talfyldt corona-tid: statistisk dannelse, videnskabsteori og historie
Sørensen, Henrik Kragh, Danielsen, K. & Willum Johansen, M., 2021, I: Tidsskriftet MATEMATIK. 48, 3, s. 14-20 7 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Formidling
- Udgivet
The importance of mathematical surplus: Review of Otávio Bueno and Steven French, ‘Applying Mathematics: Immersion, Inference, Interpretation’
Sørensen, Henrik Kragh, 2021, Metascience. 1 udg. Springer, s. 231-234 4 s. (Metascience, Bind 30).Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
- Udgivet
The role of testimony in mathematics
Andersen, L. E., Andersen, Hanne & Sørensen, Henrik Kragh, 2021, I: Synthese. 199, s. 859-870 12 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 2020
- Udgivet
Counting Mathematical Diagrams with Machine Learning
Sørensen, Henrik Kragh & Johansen, Mikkel Willum, aug. 2020, Diagrammatic Representation and Inference. Pietarinen, A-V., Chapman, P., Bosveld-de Smet, L., Giardino, V., Corter, J. & Linker, S. (red.). Springer, Bind 12169. s. 26-33 (Lecture Notes in Computer Science).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Algorismus i Hauksbók: Hvordan de hindu-arabiske tal blev introduceret i Island
Gertz, Emilie, Danielsen, K. & Sørensen, Henrik Kragh, 2020, 1 udg. 84 s.Publikation: Bog/antologi/afhandling/rapport › Bog › Undervisning › fagfællebedømt
ID: 164255954
Flest downloads
-
154
downloads
Adapting practice-based philosophy of science to teaching of science students
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Udgivet -
15
downloads
What is an experiment in mathematical practice? New evidence from mining the Mathematical Reviews
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Udgivet