Henrik Kragh Sørensen

Henrik Kragh Sørensen

Professor

Member of:

    ORCID: 0000-0002-7495-4697

    Publication year:
    All
    1 - 25 out of 27Page size: 25
    1. 2022
    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. 2021
    4. Published

      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. (eds.). 1 ed. Springer, p. 63-70 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12909 LNAI).

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

    5. Published

      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 ed. Springer, p. 231-234 4 p. (Metascience, Vol. 30).

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

    6. 2020
    7. Published

      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. (eds.). Springer, Vol. 12169. p. 26-33 (Lecture Notes in Computer Science).

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

    8. Published

      The Norwegian Hosts: The Newcomer with Historical Traditions

      Sørensen, Henrik Kragh, 2020, Meeting under the integral sign: The Oslo congress of mathematicians on the eve of the second world war. Hollings, C. D. & R. S-S. (eds.). 4 ed. Providence,: American Mathematical Society, Vol. 68. p. 21-60 40 p. (Notices of the American Mathematical Society). (History of Mathematics, Vol. 44).

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

    9. 2018
    10. Published

      At tegne landet: Kortlægningens bidrag til den nationale landskabsforståelse i det lange 1800-tal

      Sørensen, Henrik Kragh, 2018, Jordforbindelser: Dansk maleri 1780–1920 og det antropocæne landskab. Aarhus Universitetsforlag, p. 144-167 24 p.

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

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

    12. Published

      Videnskabsteori relevant for matematikere? Hvordan man kan få epistemologi og etik til at mødes

      Johansen, Mikkel Willum & Sørensen, Henrik Kragh, 2018, Fagets Videnskabsteori. Andersen, H., Børsen, T. & Pedersen, D. B. (eds.). 1 ed. Samfundslitteratur, p. 121-134 14 p.

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

    13. 2017
    14. Published

      Shaping Mathematics as a Tool: The Search for a Mathematical Model for Quasi-crystals

      Sørensen, Henrik Kragh, 2017, Mathematics as a Tool. Tracing New Roles of Mathematics in the Sciences. Lenhard, J. & Carrier, M. (eds.). Springer, p. 69-90 22 p. (Boston Studies in the Philosophy and History of Science, Vol. 327).

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

    15. 2016
    16. Published

      Appropriating role models for the mathematical profession: Biographies in the American Mathematical Monthly around 1900

      Sørensen, Henrik Kragh, 2016, Historiography of Mathematics in the 19th and 20th Centuries. Remmert, V. R., Schneider, M. R. & Sørensen, H. K. (eds.). Birkhäuser Verlag, p. 79-108 30 p. (Trends in the History of Science).

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

    17. Published

      Introductory remarks

      Remmert, V. R., Schneider, M. R. & Sørensen, Henrik Kragh, 2016, Historiography of Mathematics in the 19th and 20th Centuries. Remmert, V. R., Schneider, M. R. & Sørensen, H. K. (eds.). Birkhäuser Verlag, p. 1-8 (Trends in the History of Science).

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

    18. ‘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

    19. 2015

    20. Danske matematikeres hjælp til flygtninge fra nazismen

      Sørensen, Henrik Kragh, 2015, Nazismen, universiteterne og videnskaben i Danmark. Olsen, N., Lammers, K. C. & Roslyng-Jensen, P. (eds.). København: Museum Tusculanum, p. 213-242 (Danish Humanist Texts and Studies, Vol. 51).

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

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

    22. 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, p. 499-510

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

    23. 2013

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

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

    26. 2012

    27. Reading Mittag-Leffler’s biography of Abel as an act of mathematical self-fashioning

      Sørensen, Henrik Kragh, 2012, The History of the History of Mathematics. Wardhaugh, B. (ed.). Oxford etc.: Peter Lang, p. 115-144

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

    28. 2010

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

    30. Relations between mathematics and theology: Theological aspects of the notion of infinity in the history of mathematics

      Sørensen, Henrik Kragh, 2010, God — a Mathematician?. Kragh, H. & Vejrup Nielsen, M. (eds.). Århus: Forum Teologi Naturvidenskab, p. 27-70 (Proceedings of the DanishScience-Theology Forum, Vol. 5).

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

    31. 2009

    32. Representations as means and ends: Representability and habituation in mathematical analysis during the first part of the nineteenth century

      Sørensen, Henrik Kragh, 2009, New Perspectives on Mathematical Practices: Essays in Philosophy and History of Mathematics. Van Kerkhove, B. (ed.). New Jersey etc.: World Scientific, p. 114-137 23 p.

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

    33. 2008

    34. Abel, Niels Henrik

      Sørensen, Henrik Kragh, 2008, New Dictionary of Scientific Biography. Detroit etc.: Charles Scribner’s Sons, Vol. 1. p. 5-8 4 p.

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

    35. 2006

    36. Matematik og statistik

      Sørensen, Henrik Kragh, 2006, Dansk Naturvidenskabs Historie. Kjærgaard, P. C. (ed.). Aarhus Universitetsforlag, Vol. 3. p. 193-216 24 p.

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

    37. Matematik, statistik og datalogi

      Sørensen, Henrik Kragh, 2006, Dansk Naturvidenskabs Historie. Nielsen, H. & Hvidtfelt Nielsen, K. (eds.). Aarhus Universitetsforlag, Vol. 4. p. 105-124 20 p.

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

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

    Previous 1 2 Next

    ID: 164255954