MathHub.info
From MaRDI portal
Software:25197
swMATH13282MaRDI QIDQ25197FDOQ25197
Author name not available (Why is that?)
Cited In (8)
- The future of logic: foundation-independence
- Representing, archiving, and searching the space of mathematical knowledge
- A data model and encoding for a semantic, multilingual terminology of mathematics
- Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7--11, 2014. Proceedings
- 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
- Towards an interaction-based integration of MKM services into end-user applications
This page was built for software: MathHub.info
