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

Personal profile

Ancillary activities

  • Wolfram Research | Champaign | Consultant | 2018-01-16 - present

Ancillary activities are updated daily

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 9 Similar Profiles
Number theory Engineering & Materials Science
Polynomials Engineering & Materials Science

Research Output 2019 2019

  • 1 Conference contribution

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