Henrik Kragh Sørensen

Henrik Kragh Sørensen

Professor

Member of:

    ORCID: 0000-0002-7495-4697

    Publication year:
    All
    1 - 25 out of 116Page size: 25
    1. 2024
    2. Published

      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, In: Synthese. 203, 2, 21 p., 49.

      Research output: Contribution to journal › Journal article › Research › peer-review

    3. 2022
    4. 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

    5. 2021
    6. Published

      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, In: European Journal for Philosophy of Science. 11, p. 1-18 75.

      Research output: Contribution to journal › Journal article › Research › peer-review

    7. 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

    8. Published

      Midt i en talfyldt corona-tid: statistisk dannelse, videnskabsteori og historie

      Sørensen, Henrik Kragh, Danielsen, K. & Willum Johansen, M., 2021, In: Tidsskriftet MATEMATIK. 48, 3, p. 14-20 7 p.

      Research output: Contribution to journal › Journal article › Communication

    9. Published

      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 ed. Springer, p. 231-234 4 p. (Metascience, Vol. 30).

      Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

    10. Published

      The role of testimony in mathematics

      Andersen, L. E., Andersen, Hanne & Sørensen, Henrik Kragh, 2021, In: Synthese. 199, p. 859-870 12 p.

      Research output: Contribution to journal › Journal article › Research › peer-review

    11. 2020
    12. 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

    13. Published

      Algorismus i Hauksbók: Hvordan de hindu-arabiske tal blev introduceret i Island

      Gertz, Emilie, Danielsen, K. & Sørensen, Henrik Kragh, 2020, 1 ed. 84 p.

      Research output: Book/Report › Book › Education › peer-review

    14. Published

      Stenomusen runder et blødt hjørne

      Thomasen, L. S. & Sørensen, Henrik Kragh, 2020, In: Stenomusen. 80, p. 1-2

      Research output: Contribution to journal › Journal article › Communication

    15. Published

      The Norwegian Hosts: The Newcomer with Historical Traditions

      Sørensen, Henrik Kragh, 2020, Meeting under the integral sign: The Oslo congress of mathematicians on the eve of the second world war. Hollings, C. D. & R. S-S. (eds.). 4 ed. Providence,: American Mathematical Society, Vol. 68. p. 21-60 40 p. (Notices of the American Mathematical Society). (History of Mathematics, Vol. 44).

      Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

    16. 2019
    17. Published

      Mathematicians writing for mathematicians

      Andersen, L. E., Johansen, Mikkel Willum & Sørensen, Henrik Kragh, 2019, In: Synthese. 198, p. 6233–6250 18 p.

      Research output: Contribution to journal › Journal article › Research › peer-review

    18. Published

      Observationer, eksperimenter og iagttagelser i videnskab og undervisning

      Sørensen, Henrik Kragh & Thomasen, L. S., 2019, In: MONA - Matematik- og Naturfagsdidaktik. 4, p. 115-119

      Research output: Contribution to journal › Journal article › Research

    19. Published

      Teaching reader engagement as an aspect of proof

      Sørensen, Henrik Kragh, Danielsen, K. & Andersen, L. E., 2019, In: Z D M. 51, 5, p. 835-844 10 p.

      Research output: Contribution to journal › Journal article › Research › peer-review

    20. 2018
    21. 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

    22. Published

      Big datas Titanic?

      Johansen, Mikkel Willum & Sørensen, Henrik Kragh, 2018, In: Aktuel Naturvidenskab. 3, p. 35-38

      Research output: Contribution to journal › Journal article › Communication

    23. Published

      Descartes’ Geometri i matematikhistorisk belysning

      Sørensen, Henrik Kragh, 2018, René Descartes og hans Geometri. Thorsen, K., Sørensen, H. K. & Sørensen, K. E. (eds.). Steno Museet, p. 19-28 10 p.

      Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Communication

    24. Published

      Facilitating source-centered history of mathematics: Developing Materials for Danish Upper Secondary Mathematics Education

      Danielsen, K., Gertz, Emilie & Sørensen, Henrik Kragh, 2018, Mathematics, Education and History: Towards a Harmonious Partnership. Clark, K. M., Kjeldesen, T. H., Schorcht, S. & Tzanakis, C. (eds.). Springer, p. 85-100 16 p. (ICME-13 Monographs).

      Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

    25. Published

      Indledning: Materialer til kildecentreret matematikhistorie i gymnasiet

      Danielsen, K. & Sørensen, Henrik Kragh, 2018, Snows spøgelseskort, Halleys livsrenter og Cauchys integraler. Tre gode matematikhistorier. Danielsen, K. & Sørensen, H. K. (eds.). Matematiklærerforeningen, p. 1-7

      Research output: Chapter in Book/Report/Conference proceeding › Preface/postscript › Education

    26. Published

      Mapping Social Aspects of Mathematical Knowledge Production

      Sørensen, Henrik Kragh & Andersen, L. E., 2018, Centre for Science Studies, University of Aarhus, Denmark, 14 p. (RePoSS: Research Publications on Science Studies, Vol. 43).

      Research output: Working paper › Research

    27. Published

      Matematisk dannelse for det 21. århundrede

      Sørensen, Henrik Kragh & Johansen, Mikkel Willum, 2018, In: Tidsskriftet MATEMATIK. 46, 3, p. 4-8

      Research output: Contribution to journal › Journal article › Communication

    28. Published

      Modelvalg og ansvar

      Johansen, Mikkel Willum & Sørensen, Henrik Kragh, 2018, In: Aktuel Naturvidenskab. 2018, 1, p. 36-39

      Research output: Contribution to journal › Journal article › Communication

    29. Published

      Når forskellige fagligheder brydes: og ny forskning opstår

      Johansen, Mikkel Willum & Sørensen, Henrik Kragh, 2018, In: Aktuel Naturvidenskab. 2018, 5, p. 34-37 4 p.

      Research output: Contribution to journal › Journal article › Communication

    30. Published

      René Descartes og hans Geometri - Med oversættelse af 1. bind

      Thorsen, K., Sørensen, K. E. & Sørensen, Henrik Kragh, 2018, Steno Museet. 85 p.

      Research output: Book/Report › Book › Communication

    31. Published

      Review of Patrick Popescu-Pampu, ‘What is the Genus?’

      Sørensen, Henrik Kragh, 2018, In: Isis. 109, 2, p. 367-368 2 p.

      Research output: Contribution to journal › Literature review › Research

    Previous 1 2 3 4 5 Next

    ID: 164255954