An information system for retrieving and reasoning about XML-based mathematical knowledge

DOI10.1007/978-3-540-45155-6_7MaRDI QIDQ4474358zbMATH OpenFDO

Authors Bernd D. Heumesser, Dietmar Seipel, Ralf-Dieter Schimkat, Ulrich Güntzer

Publication date 9 July 2004

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

Full work available at URL https://doi.org/10.1007/978-3-540-45155-6_7

Mathematics Subject Classification ID

General and miscellaneous specific topics (00A99) Information storage and retrieval of data (68P20) Knowledge representation (68T30) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Recommendations

• An expert system for the flexible processing of XML-based mathematical knowledge in a PROLOG-environment
• MBase: Representing knowledge and context for the integration of mathematical software systems
• HELM and the semantic math-web
• Mathematical knowledge management in HELM
• Mathematical knowledge management in HELM

Cited in

(8)

• Mathematical knowledge management in HELM
• System description: MBase, an open mathematical knowledge base
• Mathematical knowledge management in HELM
• From G. H. H. and Littlewood to XML and Maple: Changing needs and expectations in mathematical knowledge management
• An expert system for the flexible processing of XML-based mathematical knowledge in a PROLOG-environment
• scientific article; zbMATH DE number 2063810 (Why is no real title available?)
• HELM and the semantic math-web
• Using XML for representing domain dependent knowledge in Dialogos

This page was built for publication: An information system for retrieving and reasoning about XML-based mathematical knowledge

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