20192019
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 Dive into the research topics where Robert Lewis is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 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