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

PeriodOct 2017
Event titleHistory and Philosophy of Computing
Event typeConference
Conference number2017
LocationBrno, Czech RepublicShow on map