Some aspects of Computer Algebra (notably Computation Group Theory and Computational Number Theory) have some good databases of examples, typically of the form "all the X up to size n". But most of the others, especially on the polynomial side, are lacking such, despite the utility they have demonstrated in the related fields of SAT and SMT solving. We claim that the field would be enhanced by such community-maintained databases, rather than each author hand-selecting a few, which are often too large or error-prone to print, and therefore difficult for subsequent authors to reproduce.
翻译：计算机代数的某些方面(特别是计算组理论和计算编号理论)有一些良好的范例数据库,典型的形式是“所有X至n大小”。 但其他大多数方面,特别是多语言方面,却缺乏这样的数据库,尽管它们在沙特德士古卫星和SMT的解决相关领域已经展示了有用性。 我们声称,这种社区维护的数据库,而不是每个作者手选的少数,将会加强这个领域,因为这些数据库往往太大,或容易出错,难以打印,因此以后的作者很难复制。
相关内容
微信扫码咨询专知VIP会员