Why "Fiat-Shamir for Proofs" Lacks a Proof.
Nir BitanskyDana Dachman-SoledSanjam GargAbhishek JainYael Tauman KalaiAdriana López-AltDaniel WichsPublished in: TCC (2013)
Keyphrases
- mathematical proofs
- theorem prover
- interactive theorem proving
- theorem proving
- natural deduction
- automated theorem provers
- formal proof
- proof search
- automated theorem proving
- cut elimination
- linear logic
- inference rules
- decision procedures
- mathematical knowledge
- sequent calculus
- secret sharing scheme
- proof planning
- first order logic
- cognitive processes
- secret sharing
- data sets
- image processing
- modal logic
- logic programming
- search engine
- geometry theorem proving
- genetic algorithm