Poster paper from math-AI 2021 on ITPs and human mathematicians

Breman, Hester, Renee Hoekzema, Mikkel Willum Johansen, and Henrik Kragh Sørensen. 2021. “Augmenting the Human Mathematician.”

Sophie Kjeldbjerg Mathiasen MSC thesis

Mathiasen, Sophie Kjeldbjerg. 2021. “Experiments in Mathematics: A Grounded Analysis of the Role of Experiments in Mathematical Practice.” Master's thesis (MSc), Copenhagen: Department of Science Education (Section for History; Philosophy of Science), University of Copenhagen.

Paper from Diagrams 2020 on counting mathematical diagrams

Sørensen, Henrik Kragh, and Mikkel Willum Johansen. 2020. “Counting Mathematical Diagrams with Machine Learning.” In Diagrammatic Representation and Inference: 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020, edited by Ahti-Veikko Pietarinen, Peter Chapman, Leonie Bosveld-de Smet, Valeria Giardino, James Corter, and Sven Linker, 26–33. Lecture Notes in Computer Science (LNAI) 12169. Springer. https://doi.org/10.1007/978-3-030-54249-8_3.
If you are interested in our work, please do not hesistate to contact us.