Henrik Kragh Sørensen

Henrik Kragh Sørensen

Professor

Member of:


    1. Habituation and representation of elliptic functions in Abel’s mathematics

      Sørensen, Henrik Kragh, 2004, In: Oberwolfach Reports. 51, p. 2750-2752 3 p.

      Research output: Contribution to journalJournal articleResearchpeer-review

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

    3. 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 journalJournal articleResearch

    4. 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 proceedingArticle in proceedingsResearchpeer-review

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

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

      Research output: Working paperResearch

    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 proceedingBook chapterResearchpeer-review

    7. 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 journalConference abstract in journalResearch

    8. 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 journalJournal articleResearchpeer-review

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

    10. 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 proceedingBook chapterResearchpeer-review

    11. 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 proceedingArticle in proceedingsResearchpeer-review

    12. En udstrakt broderlig hånd: Skandinaviske matematikerkongresser indtil slutningen af 1. verdenskrig

      Sørensen, Henrik Kragh, 2006, In: Normat. 54, 1-2, p. 1-17, 49-60

      Research output: Contribution to journalJournal articleResearch

    13. En dialog mellem matematikkens historie og videnskabsteori

      Sørensen, Henrik Kragh, Nov 2013, In: LMFK-Bladet. 6, p. 20-21 2 p.

      Research output: Contribution to journalJournal articleCommunication

    14. Eksakte videnskaber - mere eller mindre: De matematiske videnskaber

      Sørensen, Henrik Kragh, 2005, Natur, Nytte og Ånd, 1730-1850. Kragh, H. (ed.). Aarhus Universitetsforlag, p. 293-301 9 p.

      Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

    15. Published

      Descartes’ Geometri i matematikhistorisk belysning

      Sørensen, Henrik Kragh, 2018, René Descartes og hans Geometri. Thorsen, K., Sørensen, H. K. & Sørensen, K. E. (eds.). Steno Museet, p. 19-28 10 p.

      Research output: Chapter in Book/Report/Conference proceedingBook chapterCommunication

    16. 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 proceedingBook chapterResearchpeer-review

    17. Cultivating the Herb Garden of Scandinavian Mathematics: The Congresses of Scandinavian Mathematicians, 1909–1925

      Turner, L. & Sørensen, Henrik Kragh, 2013, In: Centaurus. 55, p. 385-411

      Research output: Contribution to journalJournal articleResearchpeer-review

    18. 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 proceedingArticle in proceedingsResearchpeer-review

    19. Confluences of agendas: Emigrant mathematicians in transit in Denmark, 1933-1945

      Sørensen, Henrik Kragh, 1 Jan 2014, In: Historia Mathematica. 41, 2, p. 157-187 31 p.

      Research output: Contribution to journalJournal articleResearchpeer-review

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

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

      Research output: Contribution to journalConference abstract in journalResearch

    21. C. C. Heyde; Eugene Seneta (eds.), Statisticians of the Centuries (Heidelberg: Springer, 2001). 500 pp. pb. DM 96. ISBN 0-387-95283-7

      Sørensen, Henrik Kragh, 2004, In: Centaurus. 46, 2, p. 175-176 2 p.

      Research output: Contribution to journalLiterature reviewResearch

    22. Published

      Big datas Titanic?

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

      Research output: Contribution to journalJournal articleCommunication

    23. 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 proceedingArticle in proceedingsResearchpeer-review

    ID: 164255954