Additive Proofs of Knowledge - A New Notion for Non-Interactive Proofs.
Amitabh SaxenaPublished in: SECRYPT (2007)
Keyphrases
- mathematical knowledge
- domain knowledge
- theorem prover
- equational theories
- theorem proving
- knowledge acquisition
- knowledge management
- expert systems
- knowledge base
- formal proof
- databases
- prior knowledge
- formal proofs
- knowledge based systems
- neural network
- natural deduction
- mathematical proofs
- domain experts
- automated theorem provers
- conceptual model
- background knowledge
- virtual reality
- computer graphics
- database
- knowledge discovery
- knowledge representation
- information systems
- data sets