Edit Profile (opens in new tab) Lewis, Robert Y. Compute Distance To: Compute Author ID: lewis.robert-y Published as: Lewis, Robert Y. Documents Indexed: 7 Publications since 1994 Co-Authors: 7 Co-Authors with 5 Joint Publications 94 Co-Co-Authors all top 5 Co-Authors 0 single-authored 2 Avigad, Jeremy 2 Roux, Cody 1 Bevan, David I. 1 Dahmen, Sander R. 1 David, Timothy 1 Ebner, Gabriel 1 Erskine, Grahame 1 Hölzl, Johannes 1 van Doorn, Floris 1 Wu, Minchao Serials 2 Journal of Automated Reasoning 1 International Journal for Numerical Methods in Fluids 1 Ars Mathematica Contemporanea Fields 5 Computer science (68-XX) 1 Combinatorics (05-XX) 1 Real functions (26-XX) 1 Numerical analysis (65-XX) 1 Fluid mechanics (76-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 4 Publications have been cited 7 times in 7 Documents Cited by ▼ Year ▼ Maintaining a library of formal mathematics. Zbl 1455.68262van Doorn, Floris; Ebner, Gabriel; Lewis, Robert Y. 3 2020 A heuristic prover for real inequalities. Zbl 1356.68174Avigad, Jeremy; Lewis, Robert Y.; Roux, Cody 2 2016 A heuristic prover for real inequalities. Zbl 1416.68149Avigad, Jeremy; Lewis, Robert Y.; Roux, Cody 2 2014 Large circulant graphs of fixed diameter and arbitrary degree. Zbl 1380.05097Bevan, David; Erskine, Grahame; Lewis, Robert 1 2017 Maintaining a library of formal mathematics. Zbl 1455.68262van Doorn, Floris; Ebner, Gabriel; Lewis, Robert Y. 3 2020 Large circulant graphs of fixed diameter and arbitrary degree. Zbl 1380.05097Bevan, David; Erskine, Grahame; Lewis, Robert 1 2017 A heuristic prover for real inequalities. Zbl 1356.68174Avigad, Jeremy; Lewis, Robert Y.; Roux, Cody 2 2016 A heuristic prover for real inequalities. Zbl 1416.68149Avigad, Jeremy; Lewis, Robert Y.; Roux, Cody 2 2014 all cited Publications top 5 cited Publications all top 5 Cited by 19 Authors 2 Lewis, Robert Y. 2 Zhan, Bohua 1 Anai, Hirokazu 1 Arai, Noriko H. 1 Avigad, Jeremy 1 de Moura, Leonardo 1 Fukasaku, Ryoya 1 Iwane, Hidenao 1 Kobayashi, Munehiro 1 Kudo, Jumma 1 Li, Liming 1 Matsuzaki, Takuya 1 Roux, Cody 1 Song, Utensil 1 Ullrich, Sebastian 1 Wieser, Eric 1 Wu, Minchao 1 Xu, Runqing 1 Zhan, Yiyang Cited in 3 Serials 2 Journal of Automated Reasoning 1 AI Communications 1 Advances in Applied Clifford Algebras all top 5 Cited in 6 Fields 7 Computer science (68-XX) 3 Mathematical logic and foundations (03-XX) 1 General and overarching topics; collections (00-XX) 1 Number theory (11-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Real functions (26-XX) Citations by Year