Login / Signup
(Semi)Algebraic Proofs over ±1 Variables.
Dmitry Sokolov
Published in:
Electron. Colloquium Comput. Complex. (2020)
Keyphrases
</>
semi algebraic
spatial databases
arbitrary dimension
theorem prover
multiscale
data model
computationally efficient