Cited in
(18)- Knowledge-based interoperability for mathematical software systems
- DiscreteZOO: a fingerprint database of discrete objects
- Software citations, information systems, and beyond
- SymbolicData
- FRISCO
- MathHub.info
- GAPDoc
- biber
- DiscreteZOO
- Small Graph Database
- TGView
- MathInTheMiddle
- Py4J
- TGView3D
- Automatically finding theory morphisms for knowledge management
- Theories as types
- Semantic-aware fingerprints of symbolic research data
- Integrating semantic mathematical documents and dynamic notebooks
This page was built for software: OpenDreamKit
