The knowledge behind the open source SageMath system; see www.sagemath.org. This theory graph will be used to make the various systems in the OpenDreamKit project interoperable.