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

Robert Y. Lewis (2019)

Details and statistics

DOI: 10.1145/3293880.3294089

access: closed

type: Conference or Workshop Paper

metadata version: 2019-01-04