Instance-Hiding Interactive Proofs.

Changrui Mu Prashant Nalini Vasudevan

Published in: Electron. Colloquium Comput. Complex. (2024)

Keyphrases

computer graphics
mathematical proofs
genetic algorithm
data sets
highly interactive
data visualization
user interaction
decision trees
theorem proving
theorem prover
multi agent systems
database
multimedia
information systems
search engine
real world
real time