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

Activity: Talk or presentation typesLecture and oral contribution

Henrik Kragh Sørensen - Other

6 Aug 2019

Event (Conference)

Title16th International Congress on Logic, Methodology and Philosophy of Science and Technology
Abbreviated titleCLMPST
CountryCzech Republic
Degree of recognitionInternational event

ID: 227131107