Henrik Kragh Sørensen
Professor
ORCID: 0000-0002-7495-4697
51 - 52 out of 52Page size: 10
Sort by: Type
- Lecture and oral contribution
What the practice of research mathematicians can teach automated theorem proving
Sørensen, Henrik Kragh (Other)
Apr 2017Activity: Talk or presentation types › Lecture and oral contribution
“Lost in translation”: Gaining access to past mathematical practice
Sørensen, Henrik Kragh (Lecturer)
Nov 2016Activity: Talk or presentation types › Lecture and oral contribution
ID: 164255954
Most downloads
-
142
downloads
Adapting practice-based philosophy of science to teaching of science students
Research output: Contribution to journal › Journal article › Research › peer-review
Published