Abstract
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.
Original language | English |
---|---|
Publication status | Acceptance date - 28 Oct 2022 |
Event | 8th European Congress of Mathematicians - University of Primorska, Faculty of Mathematics, Natural Sciences and Information Technologies., Portorož, Slovenia Duration: 20 Jun 2021 → 26 Jun 2021 Conference number: 8 https://www.8ecm.si/ |
Conference
Conference | 8th European Congress of Mathematicians |
---|---|
Country/Territory | Slovenia |
City | Portorož |
Period | 20/06/21 → 26/06/21 |
Internet address |
Bibliographical note
Presented at 8th European Congress of MathematiciansKeywords
- cs.SC