Groth-Sahai proofs revisited.

Essam Ghadafi Nigel P. Smart Bogdan Warinschi

Published in: IACR Cryptol. ePrint Arch. (2009)

Keyphrases

theorem proving
formal proof
theorem prover
decision procedures
neural network
artificial intelligence
formal proofs
equational theories
mathematical proofs
computer vision
pattern recognition
expert systems
data model
natural deduction