Group

We encourage friendly collaboration with colleagues, partners from abroad and students.

  • Henrik Kragh Sørensen, PI, professor, DSE
  • Mikkel Willum Johansen, associate professor, DSE
  • Sophie Kjeldbjerg Mathiasen, MSc student, DSE/MATH
  • Anton Kristian Suhr, MSc student, DSE/MATH
  • Josefine Pallavicini, research assistant, DSE
  • Laura Søvsø Thomasen, Royal Danish Library
More

Collaborators

We collaborate on international, interdisciplinary projects.

  • Hester Breman (Maastricht) and Renee Hoekzema (Oxford) on visual thinking in mathematics

Software

Most of our code is written in python, and we rely on a set of key libraries for LaTeX and XML parsing, NLP, neural networks, statistical analysis, documentation etc.

More

Upcoming events

More

Recent publications

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.

More
If you are interested in our work, please do not hesistate to contact us.