Pages that link to "Item:Q2817298"
From MaRDI portal
The following pages link to Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach (Q2817298):
Displaying 5 items.
- OpenDreamKit (Q27056) (← links)
- DiscreteZOO: a fingerprint database of discrete objects (Q2209260) (← links)
- Software citations, information systems, and beyond (Q2364704) (← links)
- \(\text{OntoMath}^{\text{PRO}}\) 2.0 ontology: updates of formal model (Q2700049) (← links)
- Knowledge-Based Interoperability for Mathematical Software Systems (Q4628490) (← links)