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
• Knowledge-Based Interoperability for Mathematical Software Systems
• Semantic-Aware Fingerprints of Symbolic Research Data
• Automatically finding theory morphisms for knowledge management
• Theories as types
• Integrating semantic mathematical documents and dynamic notebooks

This page was built for software: OpenDreamKit