The following pages link to OpenDreamKit (Q27056):
Displaying 7 items.
- Automatically finding theory morphisms for knowledge management (Q1798969) (← links)
- Theories as types (Q1799118) (← links)
- DiscreteZOO: a fingerprint database of discrete objects (Q2209260) (← links)
- Integrating semantic mathematical documents and dynamic notebooks (Q2287923) (← links)
- Software citations, information systems, and beyond (Q2364704) (← links)
- Semantic-Aware Fingerprints of Symbolic Research Data (Q2819250) (← links)
- Knowledge-Based Interoperability for Mathematical Software Systems (Q4628490) (← links)