Knowledge representation and management in ACTIVEMATH

DOI10.1023/A:1022959613174zbMath1025.68083OpenAlexW1595684070MaRDI QIDQ1810908

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

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

adaptivityinteractivitysemanticsmetadataadaptive learning environmentrepresentation of mathematical knowledgeweb publishing of mathematicsweb-based

Mathematics Subject Classification ID

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

Related Items

A Review of Mathematical Knowledge Management ⋮ A fine-tuning retrieval system for mathematical information ⋮ Web Interfaces for Proof Assistants

Uses Software

• ActiveMath
• OMDoc