Login / Signup
A formal proof of Hensel's lemma over the p-adic integers.
Robert Y. Lewis
Published in:
CoRR (2019)
Keyphrases
</>
formal proof
johnson lindenstrauss
theorem prover
floating point
image processing
pattern recognition
real numbers
neural network
computer vision
decision making
three dimensional