Mathematical Knowledge Management
From MaRDI portal
Publication:5898529
DOI10.1007/11618027zbMath1151.97301OpenAlexW2480281325MaRDI QIDQ5898529
Hans Cuypers, Mark Spanbroek, Arjeh M. Cohen, Dorina Jibetean
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
Symbolic computation and algebraic computation (68W30) Problem books, competitions, examinations (aspects of mathematics education) (97U40)
Related Items
Specifying rewrite strategies for interactive exercises, Integrating Web Services into Active Mathematical Documents
