Digital collections of examples in mathematical sciences (Q6086393)
From MaRDI portal
scientific article; zbMATH DE number 7763413
Language | Label | Description | Also known as |
---|---|---|---|
English | Digital collections of examples in mathematical sciences |
scientific article; zbMATH DE number 7763413 |
Statements
Digital collections of examples in mathematical sciences (English)
0 references
10 November 2023
0 references
Summary: 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. For the entire collection see [Zbl 1519.00033].
0 references
benchmarking
0 references
citation
0 references
openmath
0 references
0 references