Henrik Kragh Sørensen

Henrik Kragh Sørensen

Professor

Member of:

    ORCID: 0000-0002-7495-4697

    Publication year:
    All
    1 - 10 out of 83Page size: 10
    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

      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

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

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

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

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

    13. 2019
    14. 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

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

    Previous 1 2 3 4 5 6 7 8 9 Next

    ID: 164255954