Henrik Kragh Sørensen

Henrik Kragh Sørensen

Professor

Member of:

    ORCID: 0000-0002-7495-4697
    51 - 52 out of 52Page size: 10
    Sort by: Start date
    1. 2019

    2. Tal

      Sørensen, Henrik Kragh (Other)

      Mar 2019

      Activity: Talk or presentation types › Lecture and oral contribution

    3. Employing Computers in Posing and Attacking Mathematical Problems: Human Mathematical Practice, Experimental Mathematics, and Proof Assistants

      Sørensen, Henrik Kragh (Other)

      6 Aug 2019

      Activity: Talk or presentation types › Lecture and oral contribution

    Previous 12 3 4 5 6 Next

    ID: 164255954