Cryptocurrencies Without Proof of Work.

Iddo Bentov Ariel Gabizon Alex Mizrahi

Published in: Financial Cryptography Workshops (2016)

Keyphrases

case study
theorem prover
theorem proving
proof planning
neural network
machine learning
computer vision
relational databases
proof theory
complete axiomatization
mathematical proofs
geometry theorem proving