Mathematical knowledge representation. (Extended abstract)
From MaRDI portal
Recommendations
- Mathematical knowledge representation: semantic models and formalisms
- scientific article; zbMATH DE number 5124871
- Knowledge representation and management in ACTIVEMATH
- Formal representation issues in an open mathematical knowledge base. (Extended abstract)
- Representing, archiving, and searching the space of mathematical knowledge
Cited in
(24)- Mathematical knowledge representation: semantic models and formalisms
- Some Traditional Mathematical Knowledge Management
- scientific article; zbMATH DE number 5910828 (Why is no real title available?)
- Combining source, content, presentation, narration, and relational representation
- scientific article; zbMATH DE number 5124871 (Why is no real title available?)
- Contribution of the ontology engineering to mathematical knowledge management
- Formal representation issues in an open mathematical knowledge base. (Extended abstract)
- Representing, archiving, and searching the space of mathematical knowledge
- A data model and encoding for a semantic, multilingual terminology of mathematics
- Mathematical Knowledge Management
- scientific article; zbMATH DE number 890265 (Why is no real title available?)
- Semantic representation of general topology in the Wolfram language
- Mathematical Knowledge Management
- scientific article; zbMATH DE number 622673 (Why is no real title available?)
- Cognitive Informatics and Contemporary Mathematics for Knowledge Manipulation
- scientific article; zbMATH DE number 1497743 (Why is no real title available?)
- Mathematical Knowledge Management
- Unifying Math Ontologies: A Tale of Two Standards
- scientific article; zbMATH DE number 4201691 (Why is no real title available?)
- Knowledge representation for mathematical discovery: Three experiments in graph theory
- Publication/Citation: A Proof-Theoretic Approach to Mathematical Knowledge Management*
- Canonical text format, RTF, and mathematical formulas
- Knowledge representation and management in ACTIVEMATH
- scientific article; zbMATH DE number 1951625 (Why is no real title available?)
This page was built for publication: Mathematical knowledge representation. (Extended abstract)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2767936)
