Interview with Henrik Kragh Sørensen and Charles Pence on the possibilities for Digital Philosophy

Pence, Charles, and Henrik Kragh Sørensen. 2022. “Extending Ourselves? On the Concept and Future of Digital Humanities.” SPSP Newsletter 17 (June). https://sway.office.com/9BAOrK8koNZYYsKe.

Paper from the great hand-coded quantification and classification of diagrams

Johansen, Mikkel Willum, and Josefine Lomholt Pallavicini. 2022. “Entering the Valley of Formalism: Trends and Changes in Mathematicians’ Publication Practice — 1885 to 2015.” Synthese 200 (3). https://doi.org/10.1007/s11229-022-03741-8.

Paper from Diagrams 2021 on measuring diagram intensity

Sørensen, Henrik Kragh. 2021. “Beyond Counting: Measuring Diagram Intensity in Mathematical Research Papers During the Past 25 Years.” In Diagrammatic Representation and Inference, edited by Amrita Basu, Gem Stapleton, Sven Linker, Catherine Legg, Emmanuel Manalo, and Petrucio Viana, 63–70. Lecture Notes in Artificial Intelligence 12909. Springer International Publishing. https://doi.org/10.1007/978-3-030-86062-2_6.

Paper from Diagrams 2021 on resemblance diagrams

Johansen, Mikkel Willum, and Josefine Lomholt Pallavicini. 2021. “The Fall and Rise of Resemblance Diagrams.” In Diagrammatic Representation and Inference, edited by Amrita Basu, Gem Stapleton, Sven Linker, Catherine Legg, Emmanuel Manalo, and Petrucio Viana, 331–38. Lecture Notes in Artificial Intelligence 12909. Springer International Publishing. https://doi.org/10.1007/978-3-030-86062-2_33.

Anton Kristian Suhr MSC thesis

Suhr, Anton Kristian. 2021. “Mining Explanations in Mathematics.” Master's thesis (MSc), Copenhagen: Department of Science Education (Section for History; Philosophy of Science), University of Copenhagen.

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.