A combinatorial proof of the Removal Lemma for Groups.

Daniel Král Oriol Serra Lluís Vena

Published in: J. Comb. Theory, Ser. A (2009)

Keyphrases

databases
information retrieval
theorem prover
real world
multimedia
decision trees
case study
multiscale
learning environment
search algorithm
theorem proving
proof planning