Henrik Kragh Sørensen

Henrik Kragh Sørensen

Professor

Medlem af:

    ORCID: 0000-0002-7495-4697

    Udgivelsesår:
    Alle
    1 - 10 ud af 27Pr. side: 10
    Sortering: Titel

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

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

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

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

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

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

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

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

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

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

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

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

    Forrige 1 2 3 Næste

    ID: 164255954