对象-不变式-属性 内容 图论(OIP-GT)的对象,不变量和属性 OIP-GT是一组文件,其中包含: 对象(图形) 计算图的不变性和性质的函数 与那些不变式和图有关的定理 这些函数对这些图的预先计算的值 该项目的表面目标是在可访问的存储库中对所有图论进行编码。 为什么?: 充当图书馆,研究人员可以在其中轻松找到过去的结果。 帮助研究人员,教育者和学生将计算资源与图论研究结合起来。 用于推测新知识和测试这些推测。 上面的最后一点是最令人兴奋的! 将我们不断壮大的图论知识库与自动推测软件相结合,已显示出有望作为开