Henrik Kragh Sørensen
Professor
Exploratory experimentation in experimental mathematics: A glimpse at the PSLQ algorithm
Sørensen, Henrik Kragh, 2010, PhiMSAMP. Philosophy of Mathematics: Sociological Aspects and Mathematical Practice. Löwe, B. & Müller, T. (eds.). London: College Publications, p. 341-360 20 p.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
Abel, Niels Henrik
Sørensen, Henrik Kragh, 2008, New Dictionary of Scientific Biography. Detroit etc.: Charles Scribner’s Sons, Vol. 1. p. 5-8 4 p.Research output: Chapter in Book/Report/Conference proceeding › Encyclopedia chapter › Research
- Published
Appropriating role models for the mathematical profession: Biographies in the American Mathematical Monthly around 1900
Sørensen, Henrik Kragh, 2016, Historiography of Mathematics in the 19th and 20th Centuries. Remmert, V. R., Schneider, M. R. & Sørensen, H. K. (eds.). Birkhäuser Verlag, p. 79-108 30 p. (Trends in the History of Science).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
At tegne landet: Kortlægningens bidrag til den nationale landskabsforståelse i det lange 1800-tal
Sørensen, Henrik Kragh, 2018, Jordforbindelser: Dansk maleri 1780–1920 og det antropocæne landskab. Aarhus Universitetsforlag, p. 144-167 24 p.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- 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
- 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
Danske matematikeres hjælp til flygtninge fra nazismen
Sørensen, Henrik Kragh, 2015, Nazismen, universiteterne og videnskaben i Danmark. Olsen, N., Lammers, K. C. & Roslyng-Jensen, P. (eds.). København: Museum Tusculanum, p. 213-242 (Danish Humanist Texts and Studies, Vol. 51).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
Eksakte videnskaber - mere eller mindre: De matematiske videnskaber
Sørensen, Henrik Kragh, 2005, Natur, Nytte og Ånd, 1730-1850. Kragh, H. (ed.). Aarhus Universitetsforlag, p. 293-301 9 p.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- 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
Er det matematiske bevis ved at dø ud?
Sørensen, Henrik Kragh, Sep 2013, Fremtiden. Høiris, O. (ed.). Aarhus: Aarhus Universitetsforlag, p. 99-132Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
ID: 164255954
Most downloads
-
142
downloads
Adapting practice-based philosophy of science to teaching of science students
Research output: Contribution to journal › Journal article › Research › peer-review
Published