Research Output per year
- Wolfram Research | Champaign | Consultant | 2018-01-16 - present
Ancillary activities are updated daily
Number theory Engineering & Materials Science
Polynomials Engineering & Materials Science
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 proceeding › Conference contribution › Academic › peer-review