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.

Network

Recent external collaboration on country level. Dive into details by clicking on the dots or
  • Maintaining a library of formal mathematics

    van Doorn, F., Ebner, G. & Lewis, R. Y., 2020, Intelligent Computer Mathematics: 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings. Benzmüller, C. & Miller, B. (eds.). Springer, p. 251-267 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12236 LNAI).

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

  • Simplifying casts and coercions (Extended Abstract)

    Lewis, R. Y. & Madelaine, P. N., 26 Nov 2020, PAAR+SC-Square 2020 Practical Aspects of Automated Reasoning and Satisfiability Checking and Symbolic Computation Workshop 2020: Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, 2020 co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020) Paris, France, June-July, 2020 (Virtual). Fontaine, P., Korovin, K., Kotsireas, I. S., Rümmer, P. & Tourret, S. (eds.). CEUR-WS, p. 53-62 10 p. (CEUR Workshop Proceedings; vol. 2752).

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

  • 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

  • Formalizing the solution to the cap set problem

    Dahmen, S. R., Hölzl, J. & Lewis, R. Y., 2019, 10th International Conference on Interactive Theorem Proving (ITP 2019). Harrison, J., O'Leary, J. & Tolmach, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-19 19 p. 15. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 141).

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

  • A Heuristic Prover for Real Inequalities

    Avigad, J., Lewis, R. Y. & Roux, C., 1 Mar 2016, In: Journal of Automated Reasoning. 56, 3, p. 367-386 20 p.

    Research output: Contribution to JournalArticleAcademicpeer-review

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