Clustering in the Lazard method for Cylindrical Algebraic Decomposition.

Tereso del Río AmirHosein Sadeghimanesh Matthew England

Published 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