Henrik Kragh Sørensen

Henrik Kragh Sørensen

Professor

Member of:


    1. 2002
    2. Abel and his mathematics in contexts

      Sørensen, Henrik Kragh, 2002, In: N T M Journal of History of Sciences, Technology, and Medicine. 10, p. 137-155 19 p.

      Research output: Contribution to journalJournal articleResearchpeer-review

    3. The Mathematics of Niels Henrik Abel: Continuation and New Approaches in Mathematics During the 1820s

      Sørensen, Henrik Kragh, 2002, Institut for Videnskabshistorie: Center for Videnskabsstudier, Aarhus Universitet. 1 p.

      Research output: Book/ReportPh.D. thesisResearch

    4. 2003
    5. 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

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

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

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

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

    12. Matematik i det offentlige satiriske rum for hundrede år siden

      Sørensen, Henrik Kragh, 2005, In: Matilde: Nyhedsbrev for Dansk Matematisk Forening. 25, p. 17-23,25,32 8 p.

      Research output: Contribution to journalJournal articleResearch

    13. 2006
    14. 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

    15. Louis Olivier: A mathematician only known through his publications in Crelle's Journal during the 1820s

      Sørensen, Henrik Kragh, 2006, In: Centaurus (Copenhagen). 38, 3, p. 201-231 31 p.

      Research output: Contribution to journalJournal articleResearchpeer-review

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

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

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

    19. Olav Arnfinn Laudal and Ragni Piene (eds.), The Legacy of Niels Henrik Abel (Berlin: Springer, 2004). 785 pp. hc. €79.95. ISBN 3-540-43826-2

      Sørensen, Henrik Kragh, 2006, In: Centaurus (Copenhagen). 48, 1, p. 66-67

      Research output: Contribution to journalReviewResearch

    20. Perspectives on Scandinavian Science in the Early Twentieth Century: An Introduction

      Siegmund-Schultze, R. & 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. 11-18

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

    21. Tent, M. B. W.: The prince of mathematics: Carl Friedrich Gauss. Wellesley, MA: A K Peters (ISBN 1-56881-261-2/hbk). xviii+245p. $27.95 (2006)

      Sørensen, Henrik Kragh, 2006, In: Excerpts from Zentralblatt MATH. 1098.01009

      Research output: Contribution to journalLiterature reviewResearch

    22. 2007
    23. An Odd Couple: Descartes and Longomontanus. A Contribution to Cartesianism in Seventeenth-Century Denmark

      Kragh, H. & Sørensen, Henrik Kragh, 2007, In: Ideas in History. 2, 1, p. 9-35

      Research output: Contribution to journalJournal articleResearchpeer-review

    24. Longomontanus og Descartes: Et Møde i København 1631

      Kragh, H. & Sørensen, Henrik Kragh, 2007, In: Meddelelser fra Ole Rømers Venner. 15, 1, p. 57-69 13 p.

      Research output: Contribution to journalJournal articleResearch

    25. Longomontanus og cirklens kvadratur: Talmystik, matematik og kontrovers

      Sørensen, Henrik Kragh & Kragh, H., 2007, In: Normat. 55, 3, p. 97-118

      Research output: Contribution to journalJournal articleResearch

    26. Oliveri, Gianluigi: Mathematics as a quasi-empirical science. Found. Sci. 11, No. 1-2, 41-79 (2006).

      Sørensen, Henrik Kragh, 2007, In: Excerpts from Zentralblatt MATH. 1124.00006

      Research output: Contribution to journalLiterature reviewResearch

    27. The Higher Weight Enumerators of the Doubly-Even, Self-Dual [48,24,12] Code

      Britz, D., Britz, T., Shiromoto, K. & Sørensen, Henrik Kragh, 2007, In: I E E E Transactions on Information Theory. 53, 7, p. 2567-2571 5 p.

      Research output: Contribution to journalJournal articleResearchpeer-review

    28. 2008
    29. 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 proceedingEncyclopedia chapterResearch

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

    31. 2009
    32. 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 journalReviewResearch

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

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

      Research output: Working paperResearch

    34. Hawkins, Thomas: Frobenius and the symbolical algebra of matrices. Arch. Hist. Exact Sci. 62, No. 1, 23-57 (2008)

      Sørensen, Henrik Kragh, 2009, In: Excerpts from Zentralblatt MATH. 1169.01012

      Research output: Contribution to journalLiterature reviewResearch

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

    36. 2010
    37. 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 proceedingBook chapterResearch

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

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

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

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

    42. 2012
    43. 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

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

    45. 2013
    46. 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

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

    48. 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 journalJournal articleResearchpeer-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 journalJournal articleResearch

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

    51. 2014
    52. 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 journalJournal articleResearchpeer-review

    53. Invitation til matematikkens videnskabsteori

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

      Research output: Book/ReportBookResearchpeer-review

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

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

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

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

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

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

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

    62. 2016
    63. 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 proceedingBook chapterResearchpeer-review

    64. 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/ReportAnthologyResearchpeer-review

    65. 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 proceedingPreface/postscriptResearchpeer-review

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

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

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

    69. 2017
    70. Published

      Montucla Prize 2017

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

      Research output: Contribution to journalEditorialResearch

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

    72. Published
    73. 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 proceedingBook chapterResearchpeer-review

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

    75. 2018
    76. 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 proceedingBook chapterResearchpeer-review

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

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

    79. 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 journalLiterature reviewResearch

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

    81. 2019
    82. 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 journalJournal articleResearchpeer-review

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

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

    85. 2020
    86. 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 proceedingBook chapterResearchpeer-review

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

    88. 2021
    89. 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 journalJournal articleResearchpeer-review

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

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

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

    93. 2022
    94. 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

    95. 2024
    96. 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 journalJournal articleResearchpeer-review

    ID: 164255954