Monetary Dynamics With Proof of Stake.

Published in: Frontiers Blockchain (2021)

Keyphrases

dynamic model
dynamical systems
theorem proving
state space
short term
database
real world
initial conditions
highly nonlinear
natural deduction
proof theory
mathematical proofs