Term-ordering free involutive bases.

Michela Ceria Teo Mora Margherita Roggero

Published in: J. Symb. Comput. (2015)

Keyphrases

genetic algorithm
basis functions
search engine
partial order
case study
linear combination