Implementing the cylindrical algebraic decomposition within the Coq system.

Published in: Math. Struct. Comput. Sci. (2007)

Keyphrases

decomposition methods
neural network
formal methods
decomposition algorithm
image decomposition
data sets
genetic algorithm
hierarchical decomposition
algebraic geometry
information retrieval
knowledge base
metadata
three dimensional
video sequences
efficient implementation
wavelet packet