20192019
If you made any changes in Pure these will be visible here soon.

Research Output 2019 2019

  • 1 Conference contribution
Filter
Conference contribution
2019

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

Lewis, R. Y., 14 Jan 2019, CPP 2019 - Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2019. Mahboubi, A. (ed.). Association for Computing Machinery, Inc, p. 15-26 12 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Number theory
Polynomials