Login / Signup
Distant Decimals of π : Formal Proofs of Some Algorithms Computing Them and Guarantees of Exact Computation.
Yves Bertot
Laurence Rideau
Laurent Théry
Published in:
J. Autom. Reason. (2018)
Keyphrases
</>
exact computation
formal proofs
learning algorithm
bayesian networks
approximate inference