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)

• SymbolicData
• Automatically finding theory morphisms for knowledge management
• Theories as types
• DiscreteZOO: a fingerprint database of discrete objects
• Integrating semantic mathematical documents and dynamic notebooks
• Software citations, information systems, and beyond
• FRISCO
• MathHub.info
• Semantic-aware fingerprints of symbolic research data
• GAPDoc
• biber
• DiscreteZOO
• Small Graph Database
• TGView
• MathInTheMiddle
• TGView3D
• Py4J
• Knowledge-based interoperability for mathematical software systems

This page was built for software: OpenDreamKit