Knowledge representation and management in ACTIVEMATH

DOI10.1023/A:1022959613174MaRDI QIDQ1810908zbMATH OpenOpenAlexFDO

Authors Erica Melis, Jochen Büdenbender, George Goguadze, Paul Libbrecht, Carsten Ullrich

Publication date 9 June 2003

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1022959613174

zbMATH Keywords

semanticsadaptivitymetadatainteractivityadaptive learning environmentrepresentation of mathematical knowledgeweb publishing of mathematicsweb-based

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Knowledge representation (68T30)

Recommendations

• scientific article; zbMATH DE number 2079831
• Artificial Intelligence and Soft Computing - ICAISC 2004
• Mathematical knowledge representation. (Extended abstract)
• Authoring LeActiveMath Calculus Content
• scientific article; zbMATH DE number 1951631

Cited in

(11)

• Mathematical knowledge representation. (Extended abstract)
• Math Literate Knowledge Management via Induced Material
• scientific article; zbMATH DE number 1951631 (Why is no real title available?)
• Representation for Interactive Exercises
• From G. H. H. and Littlewood to XML and Maple: Changing needs and expectations in mathematical knowledge management
• Artificial Intelligence and Soft Computing - ICAISC 2004
• Web interfaces for proof assistants
• A Review of Mathematical Knowledge Management
• Authoring LeActiveMath Calculus Content
• Mathematical Knowledge Management
• A fine-tuning retrieval system for mathematical information

Describes a project that uses

Uses Software

• OMDoc
• ActiveMath

This page was built for publication: Knowledge representation and management in ACTIVEMATH

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1810908)