Fünf ALeA-Beiträge bei der CICM

Bei der CICM-Konferenz in Cambridge wurden fünf Beiträge aus dem Umfeld von ALeA präsentiert. Vier davon in Workshops und einmal im Haupttrack. Zu letzterem gibt es einen Beitrag in den Proceedings:

Berges, M., Betzendahl, J., Chugh, A., Kohlhase, M., Lohr, D., Müller, D. (2023). Learning Support Systems Based on Mathematical Knowledge Management. In: Dubois, C., Kerber, M. (eds) Intelligent Computer Mathematics. CICM 2023. Lecture Notes in Computer Science(), vol 14101. Springer, Cham. https://doi.org/10.1007/978-3-031-42753-4_6

Weitere Beiträge, für die die Proceedings (noch) nicht veröffentlicht sind:

• Marcel Schütz: Theory Morphisms in Computer Supported Education
• Abhishek Chugh, Michael Kohlhase and Dennis Müller: Presentation of Active Documents in ALeA
• Abhishek Chugh: ALeA (Demonstration)
• Andrea Kohlhase and Michael Kohlhase: More Interactions in ALeA – Towards New Added-Value Services based on Semantic Markup