The following pages link to MathHub.info (Q25197):
Displaying 8 items.
- The future of logic: foundation-independence (Q263104) (← links)
- Making PVS accessible to generic services by interpretation in a universal format (Q1687752) (← links)
- Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7--11, 2014. Proceedings (Q2250560) (← links)
- Towards a unified mathematical data infrastructure: database and interface generation (Q2287896) (← links)
- Integrating semantic mathematical documents and dynamic notebooks (Q2287923) (← links)
- Representing, Archiving, and Searching the Space of Mathematical Knowledge (Q2879093) (← links)
- A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics (Q5495921) (← links)
- Towards an Interaction-based Integration of MKM Services into End-User Applications (Q5495934) (← links)
