Henrik Kragh Sørensen

Henrik Kragh Sørensen

Professor

Member of:

    ORCID: 0000-0002-7495-4697

    Publication year:
    All
    1 - 50 out of 83Page size: 50
    1. 2024
    2. 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

    3. 2022
    4. 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

    5. 2021
    6. Published

      Adapting practice-based philosophy of science to teaching of science students

      Green, Sara, Andersen, Hanne, Danielsen, K., Emmeche, Claus, Joas, Christian, Johansen, Mikkel Willum, Nagayoshi, C., Witteveen, Joeri & Sørensen, Henrik Kragh, 2021, In: European Journal for Philosophy of Science. 11, p. 1-18 75.

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

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

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

    9. Published

      The role of testimony in mathematics

      Andersen, L. E., Andersen, Hanne & Sørensen, Henrik Kragh, 2021, In: Synthese. 199, p. 859-870 12 p.

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

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

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

    13. 2019
    14. Published

      Mathematicians writing for mathematicians

      Andersen, L. E., Johansen, Mikkel Willum & Sørensen, Henrik Kragh, 2019, In: Synthese. 198, p. 6233–6250 18 p.

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

    15. Published

      Observationer, eksperimenter og iagttagelser i videnskab og undervisning

      Sørensen, Henrik Kragh & Thomasen, L. S., 2019, In: MONA - Matematik- og Naturfagsdidaktik. 4, p. 115-119

      Research output: Contribution to journal › Journal article › Research

    16. Published

      Teaching reader engagement as an aspect of proof

      Sørensen, Henrik Kragh, Danielsen, K. & Andersen, L. E., 2019, In: Z D M. 51, 5, p. 835-844 10 p.

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

    17. 2018
    18. 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

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

    20. Published

      Mapping Social Aspects of Mathematical Knowledge Production

      Sørensen, Henrik Kragh & Andersen, L. E., 2018, Centre for Science Studies, University of Aarhus, Denmark, 14 p. (RePoSS: Research Publications on Science Studies, Vol. 43).

      Research output: Working paper › Research

    21. Published

      Review of Patrick Popescu-Pampu, ‘What is the Genus?’

      Sørensen, Henrik Kragh, 2018, In: Isis. 109, 2, p. 367-368 2 p.

      Research output: Contribution to journal › Literature review › Research

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

    23. 2017
    24. Published

      Montucla Prize 2017

      Sørensen, Henrik Kragh, 2017, In: Historia Mathematica. 44, 4, p. 318-319 2 p.

      Research output: Contribution to journal › Editorial › Research

    25. Published

      Når en trekant ikke bare er en trekant: Matematik og litteratur i det lange 1800-tal

      Sørensen, Henrik Kragh, 2017, In: Passage. 32, 78, p. 21-34 14 p.

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

    26. Published

      Review of David Aubin and Catherine Goldstein, ‘The War of Guns and Mathematics: Mathematical Practices and Communities in France and Its Western Allies around World War I’, American Mathematical Society, 2014

      Sørensen, Henrik Kragh, 2017, In: British Journal for the History of Science. 50, 3, p. 557-558 2 p.

      Research output: Contribution to journal › Literature review › Research

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

    28. Published

      Studying appropriations of past lives: Using metabiographical approaches in the history of mathematics

      Sørensen, Henrik Kragh, 2017, In: BSHM Bulletin: Journal of the British Society for the History of Mathematics. 32, 3, p. 186-197 14 p.

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

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

    31. Published

      Historiography of Mathematics in the 19th and 20th Centuries

      Remmert, V. R. (ed.), Schneider, M. R. (ed.) & Sørensen, Henrik Kragh (ed.), 2016, Birkhäuser Verlag. 276 p. (Trends in the History of Science).

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

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

    33. Published

      Kildecentreret matematikhistorie: Reportage fra et forløb og en konference

      Axelsen, J. M., Danielsen, K. & Sørensen, Henrik Kragh, 2016, In: LMFK-Bladet. 4-5, p. 22-25

      Research output: Contribution to journal › Journal article › Research

    34. The Irony of Romantic Mathematics: Bridging the Historiographies of Literature and Mathematics

      Thomasen, L. S. & Sørensen, Henrik Kragh, 2016, In: Configurations. 24, 1, p. 53-70

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

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

    36. 2015

    37. Maximal partial Latin cubes

      Britz, T., Cavenagh, N. J. & Sørensen, Henrik Kragh, 30 Mar 2015, In: The Electronic Journal of Combinatorics. 22, 1, 17 p., P1.81.

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

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

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

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

    41. 2014

    42. Picks Sætning: Inspiration til undervisning om eksperimenterende udforskning i matematik med et videnskabsteoretisk sigte

      Danielsen, K., Misfeldt, M. & Sørensen, Henrik Kragh, Oct 2014, Center for Videnskabsstudier, Aarhus Universitet, 52 p. (RePoSS: Research Publications on Science Studies, Vol. 27).

      Research output: Working paper › Research

    43. 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 journal › Journal article › Research › peer-review

    44. All in: Gambling i litteraturen fra Lessing til finanskrisen

      Thomasen, L. S. & Sørensen, Henrik Kragh, 2014, In: Passage. 71, p. 111-123

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

    45. Invitation til matematikkens videnskabsteori

      Johansen, M. W. & Sørensen, Henrik Kragh, 2014, Samfundslitteratur.

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

    46. Review of Rüdiger Campe, ‘The Game of Probability: Literature and Calculation from Pascal to Kleist’, Stanford: Stanford University Press, 2012

      Thomasen, L. S. & Sørensen, Henrik Kragh, 2014, In: British Journal for the History of Science. 47, 4, p. 727-728 2 p.

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

    47. 2013

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

    49. Problem oriented project work in history of mathematics: Report from a PhD summer course

      Kjeldsen, T. H. & Sørensen, Henrik Kragh, Jan 2013, In: BSHM Bulletin: Journal of the British Society for the History of Mathematics. 28, 1, p. 59-63 5 p.

      Research output: Contribution to journal › Journal article › Research

    50. 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 journal › Journal article › Research › peer-review

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

    52. What's Abelian about abelian groups?

      Sørensen, Henrik Kragh, 2013, In: BSHM Bulletin: Journal of the British Society for the History of Mathematics. 28, 1, p. 1-15 15 p.

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

    53. 2012

    54. 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 journal › Conference abstract in journal › Research

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

    56. 2010

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

    58. Ebbinghaus, Heinz-Dieter [Peckhaus, Volker]: Ernst Zermelo. An approach to his life and work. In cooperation with Volker Peckhaus. Berlin: Springer (ISBN 978-3-540-49551-2/hbk). xiv, 356 p. EUR 49.95/net; SFR 82.00; $ 64.95; £38.50 (2007)

      Sørensen, Henrik Kragh, 2010, In: Excerpts from Zentralblatt MATH. 1176.01011

      Research output: Contribution to journal › Literature review › Research

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

    60. Introduction: In honour of Kirsti Andersen

      Lützen, J. & Sørensen, Henrik Kragh, 2010, In: Centaurus (Copenhagen). 52, 1, p. 1-3 3 p.

      Research output: Contribution to journal › Editorial › Research

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

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

    63. 2009

    64. 23rd International Congress of the IUPHS

      Sørensen, Henrik Kragh, 2009, In: Viewpoint: Newsletter for the British Society for the History of Science. 90, p. 10 1 p.

      Research output: Contribution to journal › Review › Research

    Previous 1 2 Next

    ID: 164255954