Henrik Kragh Sørensen

Henrik Kragh Sørensen

Professor

Member of:

    ORCID: 0000-0002-7495-4697

    Publication year:
    All
    31 - 40 out of 116Page size: 10
    Sort by: Title
    1. 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 proceeding › Article in proceedings › Research › peer-review

    2. Er det matematiske bevis ved at dø ud?

      Sørensen, Henrik Kragh, Sep 2013, Fremtiden. Høiris, O. (ed.). Aarhus: Aarhus Universitetsforlag, p. 99-132

      Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

    3. Et helt liv - i og for matematikken: Anmeldelse af: Arild Stubhaug: Met viten og vilje: Gösta Mittag-Leffler (1846-1927), Aschehoug, Oslo 2007, 774 s., ill.

      Sørensen, Henrik Kragh, 2008, In: Historisk Tidsskrift. 87, 4, p. 717-722 6 p.

      Research output: Contribution to journal › Review › Research

    4. Exceptions and counterexamples: Understanding Abel's comment on Cauchy's Theorem

      Sørensen, Henrik Kragh, 2005, In: Historia Mathematica. 32, 4, p. 453-480 28 p.

      Research output: Contribution to journal › Journal article › Research › peer-review

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

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

      Research output: Contribution to journal › Conference abstract in journal › Research

    6. Published

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

      Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

    7. For hele Norges skyld: Et causeri om Abel og Darwin

      Sørensen, Henrik Kragh, 2009, Århus, 15 p.

      Research output: Working paper › Research

    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, p. 433-446

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    9. Fra mørsere og muddermaskiner til “Den Mægtige”: Videnskabernes Selskabs prisopgaver i matematik 1768–1866

      Sørensen, Henrik Kragh, 2003, In: Matilde. 15, p. 22-26 5 p.

      Research output: Contribution to journal › Journal article › Research

    10. Gennem kaninhullet: Hvordan et menneskeskabt monster medvirkede til at matematikken blev moderne

      Sørensen, Henrik Kragh, 2013, Matematiske mysterier: Historien, forklaringerne og løsningerne. Salomonsen, H. A. (ed.). Aarhus Universitetsforlag, p. 35-54 20 p.

      Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

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

    ID: 164255954