Henrik Kragh Sørensen

Henrik Kragh Sørensen

Professor

Medlem af:

    ORCID: 0000-0002-7495-4697

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

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

    7. 2015

    8. Formal proof and exploratory experimentation: A Lakatosian view on the interplay between examples and deductive proof practices in upper-secondary school

      Misfeldt, M., Danielsen, K. & Sørensen, Henrik Kragh, 2015, History and Epistemology in Mathematics Education. Proceedings of the Seventh European Summer University. Danish School of Education, Aarhus University, s. 433-446

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    9. Using authentic sources in teaching logistic growth: A narrative design perspective

      Danielsen, K. & Sørensen, Henrik Kragh, 2015, History and Epistemology in Mathematics Education. Proceedings of the Seventh European Summer University. Danish School of Education, Aarhus University, s. 499-510

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    10. 2012

    11. Confluences of Agendas: German Refugees and Mathematics in Denmark, 1933–1945

      Sørensen, Henrik Kragh, 2012, I: Oberwolfach Reports. 51, 1144, s. 61-65 5 s.

      Publikation: Bidrag til tidsskrift › Konferenceabstrakt i tidsskrift › Forskning

    12. 2010

    13. Experimental mathematics in the 1990s: A second loss of certainty?

      Sørensen, Henrik Kragh, 2010, I: Oberwolfach Reports. 1, s. 601-604 4 s.

      Publikation: Bidrag til tidsskrift › Konferenceabstrakt i tidsskrift › Forskning

    ID: 164255954