Robert Y. Lewis

Identifiers

• name variant Robert Y. Lewis 0.60 · backfill

Papers (2)

1. Formalizing the Solution to the Cap Set Problem cs.LO · 2019 · author #3
2. A heuristic prover for real inequalities cs.MS · 2014 · author #2

Mentions

• 1404.4410 #2 · backfill · confidence 0.70 Robert Y. Lewis

Frequent Coauthors

• Cody Roux 1 shared papers
• Jeremy Avigad 1 shared papers
• Johannes H\"olzl 1 shared papers
• Sander R. Dahmen 1 shared papers