The following pages link to (Q4499153):
Displaying 9 items.
- Mathematical fundamentals of database and knowledge base systems (Q1353969) (← links)
- Knowledge-based proof planning (Q1978469) (← links)
- Towards a heterogeneous query language for mathematical knowledge (Q2219379) (← links)
- Supporting data-driven mathematics: database and interface generation (Q2306445) (← links)
- Zeta types and Tannakian symbols as a method for representing mathematical knowledge (Q2364677) (← links)
- Formal representation issues in an open mathematical knowledge base. (Extended abstract) (Q2767925) (← links)
- Krextor - An Extensible Framework for Contributing Content Math to the Web of Data (Q5200134) (← links)
- A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics (Q5495921) (← links)
- MBase: Representing knowledge and context for the integration of mathematical software systems (Q5950933) (← links)