文件名称:
object-invariants-properties：图论（GT）自动猜想的对象，不变式和属性：特别是使用Sage程序CONJECTURING：http：nvcleemp.github.ioconjecturing-源码
开发工具:
文件大小: 92mb
下载次数: 0
上传时间: 2021-02-16
详细说明：对象-不变式-属性
内容
图论（OIP-GT）的对象，不变量和属性
OIP-GT是一组文件，其中包含：
对象（图形）
计算图的不变性和性质的函数
与那些不变式和图有关的定理
这些函数对这些图的预先计算的值
该项目的表面目标是在可访问的存储库中对所有图论进行编码。 为什么？：
充当图书馆，研究人员可以在其中轻松找到过去的结果。
帮助研究人员，教育者和学生将计算资源与图论研究结合起来。
用于推测新知识和测试这些推测。
上面的最后一点是最令人兴奋的！ 将我们不断壮大的图论知识库与自动推测软件相结合，已显示出有望作为开
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
