Henrik Kragh Sørensen

Henrik Kragh Sørensen

Professor

Medlem af:

  • Videnskabsteori og videnskabshistorie


  1. 2022
  2. Udgivet

    Epistemic Roles of Diagrams in Short Proofs

    Sørensen, Henrik Kragh & Johansen, Mikkel Willum, 2022, Diagrammatic Representation and Inference. Springer, s. 235–242 8 s. (Lecture Notes in Computer Science, Bind 13462).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  3. 2021
  4. Udgivet

    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. (red.). 1 udg. Springer, s. 63-70 8 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12909 LNAI).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  5. Udgivet

    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 udg. Springer, s. 231-234 4 s. (Metascience, Bind 30).

    Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

  6. 2020
  7. Udgivet

    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. (red.). Springer, Bind 12169. s. 26-33 (Lecture Notes in Computer Science).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  8. Udgivet

    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. (red.). 4 udg. Providence,: American Mathematical Society, Bind 68. s. 21-60 40 s. (Notices of the American Mathematical Society). (History of Mathematics, Bind 44).

    Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningfagfællebedømt

  9. 2018
  10. Udgivet

    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, s. 144-167 24 s.

    Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningfagfællebedømt

  11. Udgivet

    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. (red.). Springer, s. 85-100 16 s. (ICME-13 Monographs).

    Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningfagfællebedømt

  12. Udgivet

    Videnskabsteori relevant for matematikere? Hvordan man kan få epistemologi og etik til at mødes

    Johansen, Mikkel Willum & Sørensen, Henrik Kragh, 2018, Fagets Videnskabsteori. Andersen, H., Børsen, T. & Pedersen, D. B. (red.). 1 udg. Samfundslitteratur, s. 121-134 14 s.

    Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningfagfællebedømt

  13. 2017
  14. Udgivet

    Shaping Mathematics as a Tool: The Search for a Mathematical Model for Quasi-crystals

    Sørensen, Henrik Kragh, 2017, Mathematics as a Tool. Tracing New Roles of Mathematics in the Sciences. Lenhard, J. & Carrier, M. (red.). Springer, s. 69-90 22 s. (Boston Studies in the Philosophy and History of Science, Bind 327).

    Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningfagfællebedømt

  15. 2016
  16. Udgivet

    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. (red.). Birkhäuser Verlag, s. 79-108 30 s. (Trends in the History of Science).

    Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningfagfællebedømt

Forrige 1 2 3 Næste

ID: 164255954