Randomization, Persuasiveness and Rigor in Proofs.
Catherine WomachMartin FarachPublished in: Synth. (2003)
Keyphrases
- privacy preserving
- theorem proving
- theorem prover
- mathematical proofs
- equational theories
- design science
- concept maps
- computer vision
- privacy preserving association rule mining
- database
- automated theorem provers
- formal proofs
- formal proof
- natural deduction
- hidden markov models
- image sequences
- knowledge base
- neural network
- databases