Cryptocurrencies without Proof of Work.

Iddo Bentov Ariel Gabizon Alex Mizrahi

Published in: CoRR (2014)

Keyphrases

theorem proving
data sets
neural network
image processing
theorem prover
linear logic
mathematical proofs
database
artificial intelligence
image sequences
multiresolution