OpenDreamKit

MaRDI QIDQ27056swMATHFDO

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