Cited in
(19)- 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
- GF
- OpenDreamKit
- LATIN
- vis.js
- GitLab
- DiscreteZOO
- SMGLoM
- CPoint
- Py4J
- Slick
- TGView3D
- 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
