Mikkel Willum Johansen

Mikkel Willum Johansen

Associate Professor

Member of:

  • History and Philosophy of Science

ORCID: 0000-0003-0454-2678

Publication year:
All
11 - 13 out of 13Page size: 10
Sort by: 1st author
  1. Published

    Technics And Technology In Mathematics And Mathematics Education

    Misfeldt, M., Aguilar, M. S., Johansen, Mikkel Willum, Maracci, M. & Jönsson, P., 27 Nov 2015, History and Epistemology in Mathematics Education Proceedings of the Seventh European Summer University ESU 7. Barbin, E., Jankvist, U. T. & Kjeldsen, T. H. (eds.). p. 41-57 17 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  2. Published

    Counting Mathematical Diagrams with Machine Learning

    Sørensen, Henrik Kragh & Johansen, Mikkel Willum, Aug 2020, Diagrammatic Representation and Inference. Pietarinen, A-V., Chapman, P., Bosveld-de Smet, L., Giardino, V., Corter, J. & Linker, S. (eds.). Springer, Vol. 12169. p. 26-33 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  3. Published

    Epistemic Roles of Diagrams in Short Proofs

    Sørensen, Henrik Kragh & Johansen, Mikkel Willum, 2022, Diagrammatic Representation and Inference. Springer, p. 235–242 8 p. (Lecture Notes in Computer Science, Vol. 13462).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Previous 1 2 Next

ID: 545659