Hajós Factorizations of Cyclic Groups - A Simpler Proof of a Characterization.

Clelia de Felice

Published in: J. Autom. Lang. Comb. (1999)

Keyphrases

databases
database
learning algorithm
search engine
feature selection
objective function
multi agent
cluster analysis
proof search
geometry theorem proving