Henrik Kragh Sørensen
Professor
- 2022
- Published
Epistemic Roles of Diagrams in Short Proofs
Sørensen, Henrik Kragh & Johansen, Mikkel Willum, 2022, Diagrammatic Representation and Inference. Springer, p. 235–242 8 p. (Lecture Notes in Computer Science, Vol. 13462).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 2021
- Published
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. (eds.). 1 ed. Springer, p. 63-70 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12909 LNAI).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 2020
- Published
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. (eds.). Springer, Vol. 12169. p. 26-33 (Lecture Notes in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 2015
Formal proof and exploratory experimentation: A Lakatosian view on the interplay between examples and deductive proof practices in upper-secondary school
Misfeldt, M., Danielsen, K. & Sørensen, Henrik Kragh, 2015, History and Epistemology in Mathematics Education. Proceedings of the Seventh European Summer University. Danish School of Education, Aarhus University, p. 433-446Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Using authentic sources in teaching logistic growth: A narrative design perspective
Danielsen, K. & Sørensen, Henrik Kragh, 2015, History and Epistemology in Mathematics Education. Proceedings of the Seventh European Summer University. Danish School of Education, Aarhus University, p. 499-510Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 2012
Confluences of Agendas: German Refugees and Mathematics in Denmark, 1933–1945
Sørensen, Henrik Kragh, 2012, In: Oberwolfach Reports. 51, 1144, p. 61-65 5 p.Research output: Contribution to journal › Conference abstract in journal › Research
- 2010
Experimental mathematics in the 1990s: A second loss of certainty?
Sørensen, Henrik Kragh, 2010, In: Oberwolfach Reports. 1, p. 601-604 4 p.Research output: Contribution to journal › Conference abstract in journal › Research
ID: 164255954
Most downloads
-
140
downloads
Adapting practice-based philosophy of science to teaching of science students
Research output: Contribution to journal › Journal article › Research › peer-review
Published