Skip to main content
Loading ResearchHub…
A quantifier elimination for the theory of p -adic numbers | ResearchHub