Author of the publication

Learning Support Systems Based on Mathematical Knowledge Management.

, , , , , and . CICM, volume 14101 of Lecture Notes in Computer Science, page 84-97. Springer, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Mathematical Knowledge Management Across Formal Libraries (Mathematisches Wissensmanagement Über Formale Bibliotheksgrenzen Hinaus). University of Erlangen-Nuremberg, Germany, (2019)base-search.net (ftuniverlangen:oai:ub.uni-erlangen.de-opus:12359).Knowledge Management across Formal Libraries.. FM4M/MathUI/ThEdu/DP/WIP@CIKM, volume 1785 of CEUR Workshop Proceedings, page 98-101. CEUR-WS.org, (2016)Explaining Image Classifications with Near Misses, Near Hits and Prototypes - Supporting Domain Experts in Understanding Decision Boundaries., , , and . ICPRAI (2), volume 13364 of Lecture Notes in Computer Science, page 419-430. Springer, (2022)The Space of Mathematical Software Systems - A Survey of Paradigmatic Systems., , , , , , and . CoRR, (2020)HD Lane Map Generation Based on Trail Map Aggregation., , and . IV, page 600-606. IEEE, (2022)Statistical Analysis and Comparison of Simulation Models of Highly Dependable Systems - An Experimental Study., and . WSC, page 516-527. IEEE, (2009)An Interactive Explanatory AI System for Industrial Quality Control., , , and . AAAI, page 12580-12586. AAAI Press, (2022)FrameIT: Detangling Knowledge Management from Game Design in Serious Games., , , , , , , and . CICM, volume 12236 of Lecture Notes in Computer Science, page 173-189. Springer, (2020)Relational Data Across Mathematical Libraries., , , , , and . CICM, volume 11617 of Lecture Notes in Computer Science, page 61-76. Springer, (2019)Ontology Population Framework of MAGNETO for Instantiating Heterogeneous Forensic Data Modalities., , , , , , , , , and . AIAI, volume 559 of IFIP Advances in Information and Communication Technology, page 520-531. Springer, (2019)