Sturm's Theorem.

Published in: Arch. Formal Proofs (2014)

Keyphrases

digital topology
computational complexity
control system
von neumann
database
genetic algorithm
information systems
clustering algorithm
high level
pattern recognition
multi agent systems
evolutionary algorithm
color images
wireless sensor networks