A generic and executable formalization of signature-based Gröbner basis algorithms.
Alexander MaletzkyPublished in: J. Symb. Comput. (2021)
Keyphrases
- machine learning
- worst case
- recently developed
- numerically stable
- data mining
- learning algorithm
- computational cost
- theoretical analysis
- machine learning algorithms
- orders of magnitude
- lower bound
- optimization problems
- computationally efficient
- data mining algorithms
- computational efficiency
- combinatorial optimization