Mathematical Knowledge Management
From MaRDI portal
Publication:5898529
DOI10.1007/11618027zbMATH Open1151.97301OpenAlexW2480281325MaRDI QIDQ5898529FDOQ5898529
Authors: Arjeh M. Cohen, Hans Cuypers, Dorina Jibetean, Mark Spanbroek
Publication date: 12 February 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11618027
Recommendations
Symbolic computation and algebraic computation (68W30) Problem books, competitions, examinations (aspects of mathematics education) (97U40)
Cited In (12)
- Canonical Forms in Interactive Exercise Assistants
- Representation for Interactive Exercises
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Adapting mathematical domain reasoners
- Title not available (Why is that?)
- Mathematical Knowledge Management
- Specifying rewrite strategies for interactive exercises
- Integrating Web Services into Active Mathematical Documents
- Web target educational interactive exercises creator
- Possibilities of interactive means in the training of higher mathematics
This page was built for publication: Mathematical Knowledge Management
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5898529)