Employing Computers in Posing and Attacking Mathematical Problems: Human Mathematical Practice, Experimental Mathematics, and Proof Assistants
Activity: Talk or presentation types › Lecture and oral contribution
Henrik Kragh Sørensen - Other
- Department of Science Education
- History and Philosophy of Science
Oct 2017
External organisation (Academic)
Name | Cornell University |
---|---|
Acronym | CU |
City | Ithaca, New York |
Country/Territory | United States |
ID: 227132391