Generating Polynomial Invariants with DISCOVERER and QEPCAD.

Yinghua Chen Bican Xia Lu Yang Naijun Zhan

Published in: Formal Methods and Hybrid Real-Time Systems (2007)

Keyphrases

data mining
pattern recognition
generation process
automatically generating
data sets
neural network
real world
decision making
search algorithm
moment invariants
low order