数学科学中的数字示例集合
摘要：计算机代数的一些方面（尤其是计算群论和计算数论）拥有一些良好的示例数据库，通常以“所有尺寸为n的X”的形式存在。但大多数其他方面，特别是多项式方面，缺乏这方面的数据库，尽管它们在SAT和SMT求解等相关领域已经证明了其实用性。我们认为，通过这样的社区维护的数据库将能提升该领域的发展，而不是每个作者手动选择一些示例。这些示例往往过于庞大或容易出错，难以打印，因此对于后续的作者来说难以重现。
作者：James Harold Davenport
论文ID：2107.12908
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2022-10-31