Digital Humanities for Philosophy of Mathematical Practice Group meetings
This project aims to research and develop ways for machine learning and big data digital humanities to assist in posing and answering philosophically interesting questions about mathematical research practice.