4 research outputs found
Digital Collections of Examples in Mathematical Sciences
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.Comment: Presented at 8th European Congress of Mathematician