Henrik Kragh Sørensen

Henrik Kragh Sørensen

Professor

Medlem af:

    ORCID: 0000-0002-7495-4697

    Udgivelsesår:
    Alle
    1 - 25 ud af 27Pr. side: 25
    Sortering: Udgivelsesdato
    1. 2022
    2. Udgivet

      Epistemic Roles of Diagrams in Short Proofs

      Sørensen, Henrik Kragh & Johansen, Mikkel Willum, 2022, Diagrammatic Representation and Inference. Springer, s. 235–242 8 s. (Lecture Notes in Computer Science, Bind 13462).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    3. 2021
    4. Udgivet

      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. (red.). 1 udg. Springer, s. 63-70 8 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12909 LNAI).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    5. Udgivet

      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 udg. Springer, s. 231-234 4 s. (Metascience, Bind 30).

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

    6. 2020
    7. Udgivet

      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. (red.). Springer, Bind 12169. s. 26-33 (Lecture Notes in Computer Science).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    8. Udgivet

      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. (red.). 4 udg. Providence,: American Mathematical Society, Bind 68. s. 21-60 40 s. (Notices of the American Mathematical Society). (History of Mathematics, Bind 44).

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt

    9. 2018
    10. Udgivet

      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, s. 144-167 24 s.

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt

    11. Udgivet

      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. (red.). Springer, s. 85-100 16 s. (ICME-13 Monographs).

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt

    12. Udgivet

      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. (red.). 1 udg. Samfundslitteratur, s. 121-134 14 s.

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt

    13. 2017
    14. Udgivet

      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. (red.). Springer, s. 69-90 22 s. (Boston Studies in the Philosophy and History of Science, Bind 327).

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt

    15. 2016
    16. Udgivet

      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. (red.). Birkhäuser Verlag, s. 79-108 30 s. (Trends in the History of Science).

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt

    17. Udgivet

      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. (red.). Birkhäuser Verlag, s. 1-8 (Trends in the History of Science).

      Publikation: Bidrag til bog/antologi/rapport › Forord/efterskrift › Forskning › fagfællebedømt

    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. (red.). Birkhäuser Verlag, s. 139-160

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt

    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. (red.). København: Museum Tusculanum, s. 213-242 (Danish Humanist Texts and Studies, Bind 51).

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt

    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, s. 433-446

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

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

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    23. 2013

    24. Er det matematiske bevis ved at dø ud?

      Sørensen, Henrik Kragh, sep. 2013, Fremtiden. Høiris, O. (red.). Aarhus: Aarhus Universitetsforlag, s. 99-132

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt

    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. (red.). Aarhus Universitetsforlag, s. 35-54 20 s.

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

    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. (red.). Oxford etc.: Peter Lang, s. 115-144

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

    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. (red.). London: College Publications, s. 341-360 20 s.

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

    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. (red.). Århus: Forum Teologi Naturvidenskab, s. 27-70 (Proceedings of the DanishScience-Theology Forum, Bind 5).

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

    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. (red.). New Jersey etc.: World Scientific, s. 114-137 23 s.

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

    33. 2008

    34. Abel, Niels Henrik

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

      Publikation: Bidrag til bog/antologi/rapport › Encyclopædiartikel › Forskning

    35. 2006

    36. Matematik og statistik

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

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

    37. Matematik, statistik og datalogi

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

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

    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. (red.). Oslo: Novus forlag, s. 197-219

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

    Forrige 1 2 Næste

    ID: 164255954