The following pages link to Mathematical Knowledge Management (Q5313059):
Displaying 5 items.
- Innovations in computational type theory using Nuprl (Q865639) (← links)
- Development of the semantic space ``mathematics'' by integrating a subspace of its applied area (Q2700040) (← links)
- Mathematical Knowledge Management (Q5313078) (← links)
- A tool to reveal information on dependencies and relationships among the elements of successive document versions (Q5936722) (← links)
- Formal entity graphs as complex networks: assessing centrality metrics of the archive of formal proofs (Q6159378) (← links)