Removal lemmas and approximate homomorphisms.

Jacob Fox Yufei Zhao

Published in: Comb. Probab. Comput. (2022)

Keyphrases

color images
theorem proving
search engine
computer vision
website
data structure
expert systems
multiresolution
knowledge representation
theorem prover