Automated Proof of Ring Commutativity Problems by Algebraic Methods.
Hantao ZhangPublished in: J. Symb. Comput. (1990)
Keyphrases
- methods can be applied
- data mining applications
- control problems
- machine learning methods
- preprocessing
- np hard
- larger problems
- integer linear programming
- computer vision
- practical problems
- data mining
- feature selection
- methods require
- problems in computer vision
- search engine
- difficult problems
- alternative methods
- theorem prover
- optimization methods
- neural network
- empirical studies
- data mining techniques
- lower bound