Henrik Kragh Sørensen

Henrik Kragh Sørensen

Professor

Medlem af:

    ORCID: 0000-0002-7495-4697

    Udgivelsesår:
    Alle
    111 - 116 ud af 116Pr. side: 10
    Sortering: Udgivelsesdato
    1. 2021
    2. 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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    3. Udgivet

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

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

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Formidling

    4. 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/rapport › Bidrag til bog/antologi › Forskning

    5. Udgivet

      The role of testimony in mathematics

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

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    6. 2022
    7. 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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    8. 2024
    9. Udgivet

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

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    Forrige 1...8 9 10 11 12 Næste

    ID: 164255954