The DPRM Theorem in Isabelle (Short Paper).

Jonas Bayer Marco David Abhik Pal Benedikt Stock Dierk Schleicher

Published in: ITP (2019)

Keyphrases

theorem prover
decision making
von neumann
databases
information retrieval
learning algorithm
three dimensional
similarity measure
objective function
expert systems
multiresolution
probabilistic model