Pseudorandom Generators, Measure Theory, and Natural Proofs

Kenneth W. Regan D. Sivakumar Jin-yi Cai

Published in: Electron. Colloquium Comput. Complex. (1995)

Keyphrases

pseudorandom
random numbers
random number
information theory
uniformly distributed
secret key
theoretical basis
data sets
theorem prover
similarity measure
neural network
distance measure
knn
data streams
genetic algorithm
real world
real time
stream cipher
formal proof