Pages that link to "Item:Q2879093"
From MaRDI portal
The following pages link to Representing, Archiving, and Searching the Space of Mathematical Knowledge (Q2879093):
Displaying 8 items.
- Mathematical models as research data via flexiformal theory graphs (Q2364682) (← links)
- A survey on retrieval of mathematical knowledge (Q2364882) (← links)
- From G. H. H. and Littlewood to XML and Maple: Changing needs and expectations in mathematical knowledge management (Q2767942) (← links)
- (Q3421352) (← links)
- Indexing and Searching Mathematics in Digital Libraries (Q5200121) (← links)
- Publication/Citation: A Proof-Theoretic Approach to Mathematical Knowledge Management* (Q5261298) (← links)
- Mathematical Knowledge Management (Q5313083) (← links)
- (Q5460267) (← links)