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 Republic
Degree of RecognitionInternational