Login / Signup
Van der Waerden's Theorem.
Katharina Kreuzer
Manuel Eberl
Published in:
Arch. Formal Proofs (2021)
Keyphrases
</>
van der
real time
query processing
domain knowledge
von neumann
digital topology
neural network
knowledge base
image segmentation
multiscale
pattern recognition
object recognition
image retrieval
artificial neural networks
special case
hidden markov models