Henrik Kragh Sørensen

Henrik Kragh Sørensen

Professor

Member of:

  • History and Philosophy of Science


  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 journalJournal articlepeer-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 proceedingArticle in proceedingsResearchpeer-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 journalJournal articlepeer-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 proceedingArticle in proceedingsResearchpeer-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 journalJournal article

  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 proceedingBook chapterResearch

  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 journalJournal articlepeer-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 proceedingArticle in proceedingsResearchpeer-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/ReportBookpeer-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 journalJournal article

Previous 1 2 3 4 5 6 7 8 ...12 Next

ID: 164255954