Proof of the Combinatorial Nullstellensatz over Integral Domains, in the Spirit of Kouba.

Published in: Electron. J. Comb. (2010)

Keyphrases

real world
theorem proving
application domains
databases
linear logic
database
genetic algorithm
web services
similarity measure
multiresolution
continuous domains