Roth's Theorem on Arithmetic Progressions.

Chelsea Edmonds Angeliki Koutsoukou-Argyraki Lawrence C. Paulson

Published in: Arch. Formal Proofs (2021)

Keyphrases

von neumann
real time
neural network
information retrieval
multiresolution
floating point
data sets
decision making
database systems
multiscale
artificial neural networks
sufficient conditions
arithmetic operations