A new algorithm for computing certified numerical approximations of the roots of a zero-dimensional system.
Stef GraillatPhilippe TrebuchetPublished in: ISSAC (2009)
Keyphrases
- learning algorithm
- dynamic programming
- times faster
- computational complexity
- experimental evaluation
- improved algorithm
- estimation algorithm
- computational cost
- np hard
- preprocessing
- optimal solution
- k means
- selection algorithm
- objective function
- closed form
- monte carlo
- tree structure
- detection algorithm
- significant improvement
- theoretical analysis
- simulated annealing
- high accuracy
- search space
- convergence rate
- decision trees
- neural network