Henrik Kragh Sørensen

Henrik Kragh Sørensen

Professor

Member of:

    ORCID: 0000-0002-7495-4697
    11 - 20 out of 52Page size: 10

    1. Posing and Attacking Mathematical Problems: Human Mathematical Practice, Experimental Mathematics, and Proof Assistants

      Sørensen, Henrik Kragh (Other)

      Jun 2017

      Activity: Talk or presentation types › Lecture and oral contribution

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

      Sørensen, Henrik Kragh (Other)

      Oct 2017

      Activity: Talk or presentation types › Lecture and oral contribution

    3. "Abel der Glückliche": Appropriations in the biographies of Niels Henrik Abel

      Sørensen, Henrik Kragh (Lecturer)

      Sep 2016

      Activity: Talk or presentation types › Lecture and oral contribution

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

      Sørensen, Henrik Kragh (Other)

      Apr 2017

      Activity: Talk or presentation types › Lecture and oral contribution

    5. Data er rene — vi snavser dem til!

      Sørensen, Henrik Kragh (Other)

      Dec 2018

      Activity: Talk or presentation types › Lecture and oral contribution

    6. Ej blot til lyst: Programmering og matematisk dannelse i det 21. århundrede

      Sørensen, Henrik Kragh (Other)

      Sep 2017

      Activity: Talk or presentation types › Lecture and oral contribution

    7. Den naturvidenskabelige metode er død; længe leve naturvidenskabelige metoder.

      Sørensen, Henrik Kragh (Other)

      Nov 2018

      Activity: Talk or presentation types › Lecture and oral contribution

    8. Beskidte tal: Ansvar for matematik

      Johansen, Mikkel Willum (Other) & Sørensen, Henrik Kragh (Other)

      Nov 2018

      Activity: Talk or presentation types › Lecture and oral contribution

    9. At tegne landet

      Sørensen, Henrik Kragh (Other)

      Mar 2019

      Activity: Talk or presentation types › Lecture and oral contribution

    10. Developing mathematics teaching with original sources

      Sørensen, Henrik Kragh (Lecturer)

      21 Nov 2016

      Activity: Talk or presentation types › Lecture and oral contribution

    Previous 1 2 3 4 5 6 Next

    ID: 164255954