Mathematical Knowledge Management

DOI10.1007/B100478zbMath1108.97300OpenAlexW4234388457MaRDI QIDQ5313061

Martin Pollet, Andreas Meier, Erica Melis

Publication date: 26 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b100478

Mathematics Subject Classification ID

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

Uses Software

• Unnamed Item
• ActiveMath
• OMDoc
• Proof General Kit

This page was built for publication: Mathematical Knowledge Management