Robert Y. Lewis

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 17

Top Topics

Functional Analysis

English Chinese

Extended Abstract

Top Venues

J. Autom. Reason.

Publications

Frédéric Dupuis, Robert Y. Lewis, Heather Macbeth
Formalized Functional Analysis with Semilinear Maps. J. Autom. Reason. 68 (2) (2024)
Frédéric Dupuis, Robert Y. Lewis, Heather Macbeth
Formalized functional analysis with semilinear maps. ITP (2022)
Frédéric Dupuis, Robert Y. Lewis, Heather Macbeth
Formalized functional analysis with semilinear maps. CoRR (2022)
Robert Y. Lewis, Minchao Wu
A Bi-Directional Extensible Interface Between Lean and Mathematica. J. Autom. Reason. 66 (2) (2022)
Johan Commelin, Robert Y. Lewis
Formalizing the ring of Witt vectors. CPP (2021)
Robert Y. Lewis, Minchao Wu
A bi-directional extensible interface between Lean and Mathematica. CoRR (2021)
Robert Y. Lewis, Paul-Nicolas Madelaine
Simplifying Casts and Coercions (Extended Abstract). PAAR+SC²@IJCAR (2020)
Floris van Doorn, Gabriel Ebner, Robert Y. Lewis
Maintaining a Library of Formal Mathematics. CICM (2020)
Robert Y. Lewis, Paul-Nicolas Madelaine
Normalizing Casts and Coercions. CoRR (2020)
Floris van Doorn, Gabriel Ebner, Robert Y. Lewis
Maintaining a Library of Formal Mathematics. CoRR (2020)
Johan Commelin, Robert Y. Lewis
Formalizing the Ring of Witt Vectors. CoRR (2020)
Robert Y. Lewis
A formal proof of hensel's lemma over the p-adic integers. CPP (2019)
Robert Y. Lewis
A formal proof of Hensel's lemma over the p-adic integers. CoRR (2019)
Sander R. Dahmen, Johannes Hölzl, Robert Y. Lewis
Formalizing the Solution to the Cap Set Problem. ITP (2019)
Sander R. Dahmen, Johannes Hölzl, Robert Y. Lewis
Formalizing the Solution to the Cap Set Problem. CoRR (2019)
Robert Y. Lewis
An Extensible Ad Hoc Interface between Lean and Mathematica. PxTP (2017)
Jeremy Avigad, Robert Y. Lewis, Cody Roux
A Heuristic Prover for Real Inequalities. J. Autom. Reason. 56 (3) (2016)
Jeremy Avigad, Robert Y. Lewis, Cody Roux
A Heuristic Prover for Real Inequalities. ITP (2014)
Jeremy Avigad, Robert Y. Lewis, Cody Roux
A heuristic prover for real inequalities. CoRR (2014)