Person. Robert Y. Lewis Brown University · 0000-0002-5266-1121 PhD studentsEric Zhao Papers A Heuristic Prover for Real Inequalities avigad-2016-aJAR · 2016 DOI · arXiv