Effective homology of bicomplexes, formalized in Coq.

César Domínguez Julio Rubio

Published in: Theor. Comput. Sci. (2011)

Keyphrases

digital images
high quality
data structure
relational databases
database
data sets
artificial intelligence
search engine
decision trees
database systems
objective function
lower bound
expert systems