MathHub.info
From MaRDI portal
Software:25197
swMATH13282MaRDI QIDQ25197FDOQ25197
Author name not available (Why is that?)
Cited In (8)
- A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics
- The future of logic: foundation-independence
- Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7--11, 2014. Proceedings
- Representing, Archiving, and Searching the Space of Mathematical Knowledge
- Towards an Interaction-based Integration of MKM Services into End-User Applications
- Integrating semantic mathematical documents and dynamic notebooks
- Towards a unified mathematical data infrastructure: database and interface generation
- Making PVS accessible to generic services by interpretation in a universal format
This page was built for software: MathHub.info
