A formal proof of hensel's lemma over the p-adic integers.

Robert Y. Lewis

Published in: CPP (2019)

Keyphrases

formal proof
theorem prover
johnson lindenstrauss
floating point
integer arithmetic
pattern recognition
three dimensional
probabilistic model
multi view