Mathematical Knowledge Management

From MaRDI portal

Revision as of 18:22, 4 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5898529

Jump to:navigation, search

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

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Problem books, competitions, examinations (aspects of mathematics education) (97U40)

Related Items (2)

Specifying rewrite strategies for interactive exercises ⋮ Integrating Web Services into Active Mathematical Documents

This page was built for publication: Mathematical Knowledge Management

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5898529&oldid=16716843"