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

Period6 Aug 2019
Event title16th International Congress on Logic, Methodology and Philosophy of Science and Technology
Event typeConference
Conference number16
LocationPrag, Czech RepublicShow on map
Degree of RecognitionInternational