Login / Signup
Efficient Interactive Proofs for Non-Deterministic Bounded Space.
Joshua Cook
Ron D. Rothblum
Published in:
Electron. Colloquium Comput. Complex. (2023)
Keyphrases
</>
real world
low dimensional
space requirements
search space
real time
data sets
information retrieval
artificial intelligence
computer vision
multiscale
video sequences
user interaction
space time
computationally expensive
theorem proving
linear space