Login / Signup
Proof of logarithmic stake in block-chain cash system.
Chunlei Liu
Published in:
CoRR (2018)
Keyphrases
</>
theorem proving
worst case
theorem prover
dct coefficients
block wise
machine learning
credit card
proof theory
learning algorithm
multi agent
coefficient matrix