Lewis, Robert Y.

1. A bi-directional extensible interface between Lean and Mathematica
   2021/01/17 by Robert Y. Lewis, Lewis, Robert Y., Minchao Wu +1 · 2 citations
   Business, Management and Accounting · Computer Science · #Business Process Modeling and Analysis #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Mathematical Software (cs.MS) #Model-Driven Software Engineering Techniques
2. A heuristic prover for real inequalities
   2014/04/17 by Avigad, Jeremy, Lewis, Robert Y., Roux, Cody · 1 citation
   #F.2.1 #FOS: Computer and information sciences #G.4 #I.1.2 #Logic in Computer Science (cs.LO) #Mathematical Software (cs.MS)
3. Formalized functional analysis with semilinear maps
   2022/02/10 by Frédéric Dupuis, Robert Y. Lewis, Dupuis, Frédéric +3 · 1 citation
   Computer Science · Mathematics · #FOS: Computer and information sciences #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic in Computer Science (cs.LO) #Mathematical Dynamics and Fractals #Operator Algebras (math.OA) #Spectral Theory (math.SP) #Topological and Geometric Data Analysis