Clustering in the Lazard method for Cylindrical Algebraic Decomposition.
Tereso del RíoAmirHosein SadeghimaneshMatthew EnglandPublished in: ACM Commun. Comput. Algebra (2023)
Keyphrases
- clustering method
- decomposition method
- detection method
- k means
- similarity measure
- synthetic data
- computational cost
- experimental evaluation
- cost function
- support vector machine
- classification method
- data sets
- significant improvement
- mutual information
- objective function
- dynamic programming
- edge detection
- preprocessing
- support vector
- high precision
- decomposition methods