A characteristic set method for equation solving over finite fields.
Xiao-Shan GaoZhenyu HuangPublished in: ACM Commun. Comput. Algebra (2008)
Keyphrases
- high precision
- method finds
- initial set
- significant improvement
- detection method
- prior knowledge
- combinatorial optimization
- experimental evaluation
- small number
- input data
- algebraic equations
- neural network
- clustering method
- support vector machine svm
- feature set
- classification accuracy
- preprocessing
- similarity measure
- high accuracy
- optimization algorithm
- support vector machine
- probability distribution
- synthetic data
- mathematical model
- classification method
- dynamic programming
- quadratic programming
- multiscale