Login / Signup
Interpolating Between Choices for the Approximate Intermediate Value Theorem.
Matthew Frank
Published in:
Log. Methods Comput. Sci. (2020)
Keyphrases
</>
von neumann
probabilistic model
state space
data sets
decision making
database systems
bayesian networks
basis functions
exact computation
interactive theorem proving