Formal representation issues in an open mathematical knowledge base. (Extended abstract)

MaRDI QIDQ2767925zbMATH OpenFDO

Authors Michael Kohlhase

Publication date 14 February 2002

Full work available at URL http://www.risc.uni-linz.ac.at/institute/conferences/MKM2001/Proceedings/

zbMATH Keywords

mathematical knowledge bases

Mathematics Subject Classification ID

Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• MBase: Representing knowledge and context for the integration of mathematical software systems
• Representing, archiving, and searching the space of mathematical knowledge
• Mathematical knowledge representation: semantic models and formalisms
• scientific article; zbMATH DE number 1497743
• Mathematical knowledge representation. (Extended abstract)

Cited in

(12)

• Zeta types and Tannakian symbols as a method for representing mathematical knowledge
• Mathematical knowledge representation. (Extended abstract)
• Representing, archiving, and searching the space of mathematical knowledge
• scientific article; zbMATH DE number 1497743 (Why is no real title available?)
• QED reloaded: towards a pluralistic formal library of mathematical knowledge
• Combining source, content, presentation, narration, and relational representation
• Mathematical Knowledge Management
• Realms: a structure for consolidating knowledge about mathematical theories
• Mathematical Knowledge Management
• Mathematical Knowledge Management
• Mathematical Knowledge Management
• MBase: Representing knowledge and context for the integration of mathematical software systems

This page was built for publication: Formal representation issues in an open mathematical knowledge base. (Extended abstract)

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