OpenDreamKit

swMATH15163MaRDI QIDQ27056FDOQ27056

Author name not available (Why is that?)

Official website: http://opendreamkit.org/

Described by source

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

Cited In (18)

• DiscreteZOO: a fingerprint database of discrete objects
• Software citations, information systems, and beyond
• Semantic-aware fingerprints of symbolic research data
• SymbolicData
• FRISCO
• MathHub.info
• GAPDoc
• biber
• DiscreteZOO
• Small Graph Database
• TGView
• MathInTheMiddle
• Py4J
• TGView3D
• 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