On the Randomness Complexity of Interactive Proofs and Statistical Zero-Knowledge Proofs.
Benny ApplebaumEyal GolombekPublished in: ITC (2021)
Keyphrases
- theorem prover
- domain knowledge
- knowledge management
- theorem proving
- formal proofs
- computational complexity
- formal proof
- statistical information
- knowledge extraction
- knowledge base
- mathematical knowledge
- natural deduction
- knowledge transfer
- user friendly
- background knowledge
- knowledge acquisition
- knowledge representation
- knowledge sharing
- statistical analysis
- data driven
- worst case
- computer programs
- decision procedures
- mathematical proofs
- computer graphics
- databases
- case study
- expert systems
- computational cost
- higher level
- statistical tests
- user interaction