Solving parametric polynomial systems.

Daniel Lazard Fabrice Rouillier

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

Keyphrases

systems require
database
data mining
machine learning
artificial intelligence
expert systems
distributed systems
intelligent systems
information retrieval
decision trees
artificial neural networks
evolutionary algorithm
multiresolution
scheduling problem