OpenDreamKit

swMATH15163MaRDI QIDQ27056FDOQ27056

Author name not available (Why is that?)

Described by source

• Interoperability in the OpenDreamKit project: the math-in-the-middle approach

Cited In (7)

• DiscreteZOO: a fingerprint database of discrete objects
• Software citations, information systems, and beyond
• Semantic-aware fingerprints of symbolic research data
• Automatically finding theory morphisms for knowledge management
• Theories as types
• Integrating semantic mathematical documents and dynamic notebooks
• Knowledge-based interoperability for mathematical software systems

This page was built for software: OpenDreamKit