A Comparison of Algorithms for Proving Positivity of Linearly Recurrent Sequences.

Philipp Nuspl Veronika Pillwein

Published in: CASC (2022)

Keyphrases

learning algorithm
computationally efficient
orders of magnitude
computational efficiency
recently developed
suffix tree
data sets
genetic algorithm
case study
data structure
computational complexity
worst case
benchmark datasets
times faster