Mikkel Willum Johansen

Mikkel Willum Johansen

Associate Professor

Member of:

  • History and Philosophy of Science

ORCID: 0000-0003-0454-2678

Publication year:
All
1 - 10 out of 13Page size: 10
  1. 2022
  2. 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

  3. 2021
  4. Published

    The Fall and Rise of Resemblance Diagrams

    Johansen, Mikkel Willum & Pallavicini, Josefine Lomholt, 2021, Diagrammatic Representation and Inference. Springer, Vol. 12909. p. 331-338 (Lecture Notes in Computer Science).

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

  5. 2020
  6. 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

  7. 2018
  8. Published

    Inquiry reflective learning environments and the use of the history of artifacts as a resource in mathematics education

    Johansen, Mikkel Willum & Kjeldsen, Tinne Hoff, Apr 2018, Mathematics, Education and History : Towards a Harmonious Partnership. Clark, K. M., Kjeldsen, T. H., Schorcht, S. & Tzanakis, C. (eds.). Springer, p. 27-42 16 p. (ICME-13 Monographs).

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

  9. Published

    A Typology of Mathematical Diagrams

    Johansen, Mikkel Willum, Misfeldt, Morten & Pallavicini, Josefine Lomholt, 1 Jan 2018, Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Proceedings. Stapleton, G., Bellucci, F., Moktefi, A., Chapman, P. & Perez-Kriz, S. (eds.). Springer, p. 105-119 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

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

  10. Published

    Institutionaliseringen af fagets videnskabsteori

    Engelhardt, Robin, Christiansen, Frederik Voetmann & Johansen, Mikkel Willum, 2018, Fagets Videnskabsteori. Børsen, T., Pedersen, D. B. & Andersen, H. (eds.). Frederiksberg: Samfundslitteratur, p. 35-49 15 p.

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

  11. Published

    Videnskabsteori relevant for matematikere? Hvordan man kan få epistemologi og etik til at mødes

    Johansen, Mikkel Willum & Sørensen, Henrik Kragh, 2018, Fagets Videnskabsteori. Andersen, H., Børsen, T. & Pedersen, D. B. (eds.). 1 ed. Samfundslitteratur, p. 121-134 14 p.

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

  12. 2017
  13. Published

    Science Fiction at the Far Side of Technology: Vernor Vinge’s Singularity Thesis Versus the Limits of AI-Research

    Johansen, Mikkel Willum, Aug 2017, Science Fiction, Ethics and the Human Condition. Baron, C., Halvorsen, P. N. & Cornea, C. (eds.). Cham, Switzerland: Springer, p. 21-40 20 p.

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

  14. 2016
  15. Published

    An empirical approach to the mathematical values of problem choice and argumentation

    Johansen, Mikkel Willum & Misfeldt, Morten, 2016, Mathematical Cultures: The London meetings 2012-2014. Larvor, B. (ed.). Switzerland: Springer, p. 259-269 11 p. (Trends in the History of Science).

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

  16. 2015
  17. 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

Previous 1 2 Next

ID: 545659