Henrik Kragh Sørensen

Henrik Kragh Sørensen

Professor

Member of:

  • History and Philosophy of Science

  1. What the practice of research mathematicians can teach automated theorem proving

    Sørensen, Henrik Kragh (Other)

    Apr 2017

    Activity: Talk or presentation typesLecture and oral contribution

  2. “Lost in translation”: Gaining access to past mathematical practice

    Sørensen, Henrik Kragh (Lecturer)

    Nov 2016

    Activity: Talk or presentation typesLecture and oral contribution

Previous 12 3 4 5 6 Next

ID: 164255954