Henrik Kragh Sørensen

Henrik Kragh Sørensen

Professor

Member of:

    ORCID: 0000-0002-7495-4697

    Publication year:
    All
    61 - 70 out of 116Page size: 10
    1. Published

      Big datas Titanic?

      Johansen, Mikkel Willum & Sørensen, Henrik Kragh, 2018, In: Aktuel Naturvidenskab. 3, p. 35-38

      Research output: Contribution to journal › Journal article › Communication

    2. 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

    3. Published

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

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

    4. Exploratory experimentation in experimental mathematics: A glimpse at the PSLQ algorithm

      Sørensen, Henrik Kragh, 2010, PhiMSAMP. Philosophy of Mathematics: Sociological Aspects and Mathematical Practice. Löwe, B. & Müller, T. (eds.). London: College Publications, p. 341-360 20 p.

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

    5. Vækst i nationens tjeneste. Hvordan Verhulst fik beskrevet logistisk vækst

      Danielsen, K. & Sørensen, Henrik Kragh, 2014, Matematiklærerforeningen. 52 p.

      Research output: Book/Report › Book › Education › peer-review

    6. Niels Henrik Abel's Political and Professional Legacy in Norway

      Sørensen, Henrik Kragh, 2006, Perspectives on Scandinavian Science in the Early Twentieth Century. Siegmund-Schultze, R. & Sørensen, H. K. (eds.). Oslo: Novus forlag, p. 197-219

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

    7. ‘The End of Proof’? The integration of different mathematical cultures as experimental mathematics comes of age

      Sørensen, Henrik Kragh, 2016, Mathematical Cultures. The London Meetings 2012–2014. Larvor, B. (ed.). Birkhäuser Verlag, p. 139-160

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

    8. Throwing Some Light on the Vast Darkness that is Analysis: Niels Henrik Abel’s Critical Revision and the Concept of Absolute Convergence

      Sørensen, Henrik Kragh, 2010, In: Centaurus (Copenhagen). 52, 1, p. 38-72

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

    9. 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

    10. 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

    Previous 1...3 4 5 6 7 8 9 10 ...12 Next

    ID: 164255954