Login / Signup
(Semi)Algebraic proofs over ±1 variables.
Dmitry Sokolov
Published in:
STOC (2020)
Keyphrases
</>
semi algebraic
spatial databases
arbitrary dimension
theorem prover
database
nearest neighbor
fourier transform