符号CDATA

symbolicata GEO records是一个几何定理证明方案的公共存储库,是对不同几何定理证明方法和证明者进行测试、比较和基准测试的起点。为了使这些测试自动化,需要收集证明方案的公共数据库,并开发工具来提取示例,准备将它们输入到不同的验证程序,然后“批量”运行它们。到目前为止,特殊集合的主要缺点是可用性和互操作性受到限制,例如,周的集合中有500多个证明方案。我们报告了第一次使用通用证明方案语言(geocodel语言)的经验,该语言被发明用于在一个公共可用的存储库中存储300多个证明方案,以及准备这些通用证明方案以供不同目标证明者输入的工具。这项工作是symbolicata项目的一部分。


zbMATH参考文献(27篇文章引用了,1标准件)

显示第1到第20个结果,共27个。
按年份排序(引用)
  1. Berčič,Katja;Vidali,Janoš:离散对象的指纹数据库(2020年)
  2. 德克尔,沃尔夫拉姆;埃德尔,克里斯蒂安;莱万多夫斯基,维克多;蒂瓦里,沙尔旺K.:非交换格勃纳基地的模块化技术(2020年)
  3. England,Matthew;Florescu,Dorian:比较机器学习模型以选择圆柱形代数分解的变量顺序(2019)
  4. Huang,Zongyan;England,Matthew;Wilson,David J.;Bridge,James;Davenport,James H.;Paulson,Lawrence C.:使用机器学习改进圆柱代数分解(2019)
  5. Kanwal,Shamsa;Pfister,Gerhard:具有领先思想的特殊生成器的标准基地(2018)
  6. Giesbrecht,Mark;Heinle,Albert;Levandovskyy,Viktor:在(n)变量中分解线性偏微分算子(2016)
  7. Gräbe,Hans Gert:符号研究数据的语义感知指纹(2016)
  8. Joswig,Michael;Mehner,米兰;Sechelmann,Stefan;Techter,Jan;Bobenko,Alexander I.:DGD画廊:数字研究数据的存储、共享和发布(2016)
  9. Sperber,Wolfram:数学研究数据和信息服务(2016)
  10. Heinle,Albert;Levandovskyy,Viktor:The\textscSDEvalbenchmarking toolkit(2015年)
  11. Afzal,Deeba;Janjua,Faira Kanwal;Pfister,Gerhard;Steidel,Stefan:通过模块化方法求解(2014)
  12. 陈晓宇:几何报表的表示与自动转换(2014)
  13. Giesbrecht,Mark;Heinle,Albert;Levandovskyy,Viktor:在(n)变量中分解线性微分算子(2014)
  14. Kredel,Heinz:Java计算机代数系统中的综合格勃纳基(2014)
  15. La Scala,Roberto;Levandovskyy,Viktor:斜多项式环,Gröbner基和自由结合代数的字母位置嵌入。(2013年)
  16. Levandovskyy,Viktor;Studzinski,Grischa;Schnitzler,Benjamin:自由代数中Gröbner基的增强计算,作为letterplace范式的新应用(2013)
  17. Studzinski,Grischa:自由结合代数中依赖于Gröbner基的基本算法的实现和应用。(2013年)
  18. Gräbe,Hans Gert:Symbolicata项目的新闻(2012)数学
  19. 《几何基础》陈东英,2011;王晓颖
  20. Idrees,Nazeran;Pfister,Gerhard;Stedel,Stefan:模块化算法的并行化(2011)

更多出版物请访问:CDATA出版物http://wiki.org/