Another Short Proof of Descartes's Rule of Signs.

Vilmos Komornik

Published in: Am. Math. Mon. (2006)

Keyphrases

association rules
machine learning
expert systems
production rules
automated theorem proving
neural network
genetic algorithm
decision making
information extraction
genetic programming
theorem prover
rule learning