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

Period	Oct 2017
Held at	Cornell University, United States