Pages that link to "Item:Q2767936"
From MaRDI portal
The following pages link to Mathematical knowledge representation. (Extended abstract) (Q2767936):
Displaying 15 items.
- Knowledge representation for mathematical discovery: Three experiments in graph theory (Q1183372) (← links)
- Knowledge representation and management in ACTIVEMATH (Q1810908) (← links)
- Mathematical knowledge representation: semantic models and formalisms (Q2263116) (← links)
- Formal representation issues in an open mathematical knowledge base. (Extended abstract) (Q2767925) (← links)
- Contribution of the ontology engineering to mathematical knowledge management (Q2767941) (← links)
- (Q3007441) (← links)
- (Q3350832) (← links)
- (Q3421352) (← links)
- (Q4303122) (← links)
- (Q4499153) (← links)
- (Q4882530) (← links)
- Publication/Citation: A Proof-Theoretic Approach to Mathematical Knowledge Management* (Q5261298) (← links)
- Mathematical Knowledge Management (Q5313071) (← links)
- Mathematical Knowledge Management (Q5313075) (← links)
- A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics (Q5495921) (← links)