A Generic and Executable Formalization of Signature-Based Gröbner Basis Algorithms.

Alexander Maletzky

Published in: CoRR (2020)

Keyphrases

learning algorithm
evolutionary algorithm
computational cost
orders of magnitude
data mining
optimization problems
machine learning
benchmark datasets
times faster
graph theory
formal specification
numerically stable