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

Oct 2017

External organisation (Academic)

NameCornell University
AcronymCU
CityIthaca, New York
Country/TerritoryUnited States

ID: 227132391