符号数据

符号数据GEO记录——几何定理证明方案的公共知识库,形式化证明方案是不同几何定理证明方法和算法的测试、比较和标杆的起点。为了使这些测试自动化,需要收集一个共同的证明方案数据库,并开发工具来提取示例,准备它们输入到不同的编译器,并“批量”运行它们。到目前为止,特别收集的主要缺点,例如,Chou的集合有500多个证明方案的例子,是它们的限制可用性和互操作性。我们报告的第一个经验与一个通用的证明方案语言,地理代码语言,被发明来存储超过300个证明方案在一个公共可用的存储库,和工具来准备这些通用的证明方案,以供输入到不同的目标处理器。这项工作是象征数据项目的一部分。


ZBMaX中的参考文献(25篇)1标准条款

显示结果1至20的25。
按年份排序(引文
  1. 英国、马修、格奥尔基·弗洛雷斯库、多里安:比较机器学习模型选择柱面代数分解的变量排序(2019)
  2. 黄,Zongyan;英国,马修;Wilson,David J.;桥,杰姆斯;Davenport,James H.;Pig,y:使用机器学习来改进柱面代数分解(2019)
  3. Kanwal,Shamsa;PFIST,格哈德:标准思想产生的特殊基地(2018)
  4. Giesbrecht,马克;Henle,艾伯特;Leavordvkyy,Viktor:(n)变量中的线性偏微分算子的分解(2016)
  5. Hans Gert:符号研究数据的语义感知指纹(2016)
  6. Joswig,米迦勒;Mehner,米兰;塞切尔曼,斯特凡;Tekter,Jon;Bobenko,Alexander I.:DGD画廊:数字研究数据的存储、共享和出版(2016)
  7. 数学研究与信息服务(2016)
  8. 艾伯特,LeundOvSkyy,维克托:\TrassScDeValBooTalk工具包(2015)
  9. Afzal,Deeba;Jayuja,Faira Kanwal;PFIST,格哈德;斯泰德尔,斯特凡:用模块化方法求解(2014)
  10. 陈,Xiaoyu:几何陈述的表示与自动转换(2014)
  11. Giesbrecht,马克;Henle,艾伯特;Leavordvkyy,Viktor:(n)变量中的线性微分算子的分解(2014)
  12. Kredel,海因茨:Java计算机代数系统中的综合Grübnar基(2014)
  13. LaScala,罗伯托;LeavordOvSkyy,Vikor:自由多项式的斜多项式环,Gr.Obnn-基和Lethe Stand嵌入。(2013)
  14. Levandovskyy,维克托;Studzinski,Grischa;施尼茨勒,本杰明:自由代数中Grübn-基的增强计算:LeTeLeT范式的新应用(2013)
  15. Studzinski,Grischa:依赖于Gr.Bnar基的基本算法在自由联想代数中的实现和应用(2013)
  16. Gr.Sube,Hans Gert:来自符号数据工程的新闻(2012)马修德
  17. 陈,Xiaoyu;黄,瀛;王,东明:几何知识库的设计与实现(2011)
  18. 格哈德,斯泰德尔,斯特凡:模块化算法的并行化(2011)
  19. JAMBOR,塞巴斯蒂安:整数环上多项式环的最小关联素数(2011)
  20. PFIST,格哈德;萨迪克,Afshan;SIDIDL,斯特凡:整数环上多项式分解的一个算法(2011)

进一步的出版物可以在:HTTP://RealICDATA.OG/WIKI/出版物