Login / Signup
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