An Algorithm for Isolating the Real Solutions of Semi-algebraic Systems.

Bican Xia Lu Yang

Published in: J. Symb. Comput. (2002)

Keyphrases

optimal solution
computationally efficient
segmentation algorithm
simulated annealing
distance function
matching algorithm