Henrik Kragh Sørensen

Henrik Kragh Sørensen


Member of:

  • History and Philosophy of Science

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

  3. Published

    Stenomusen runder et blødt hjørne

    Thomasen, L. S. & Sørensen, Henrik Kragh, 2020, In: Stenomusen. 80, p. 1-2

    Research output: Contribution to journalJournal articleCommunication

ID: 164255954