Additive Proofs of Knowledge - A New Notion For Non-Interactive Proofs.
Amitabh SaxenaPublished in: IACR Cryptol. ePrint Arch. (2005)
Keyphrases
- theorem proving
- knowledge acquisition
- mathematical proofs
- domain knowledge
- knowledge representation
- data sets
- mathematical knowledge
- formal proof
- theorem prover
- computer graphics
- conceptual model
- user friendly
- learning systems
- knowledge transfer
- computer programs
- prior knowledge
- knowledge sources
- concept maps
- knowledge management
- decision procedures
- information retrieval
- database