Henrik Kragh Sørensen

Henrik Kragh Sørensen

Professor

Medlem af:

    ORCID: 0000-0002-7495-4697

    Udgivelsesår:
    Alle
    81 - 83 ud af 83Pr. side: 10
    Sortering: Udgivelsesår
    1. 2021
    2. 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

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

    5. 2024
    6. 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...5 6 7 8 9 Næste

    ID: 164255954