Pages that link to "Item:Q2767925"
From MaRDI portal
The following pages link to Formal representation issues in an open mathematical knowledge base. (Extended abstract) (Q2767925):
Displaying 5 items.
- Zeta types and Tannakian symbols as a method for representing mathematical knowledge (Q2364677) (← links)
- Mathematical knowledge representation. (Extended abstract) (Q2767936) (← links)
- (Q4499153) (← links)
- Mathematical Knowledge Management (Q5313071) (← links)
- MBase: Representing knowledge and context for the integration of mathematical software systems (Q5950933) (← links)