Finding and certifying numerical roots of systems of equations
Kisun Lee, Anton Leykin, Greg Blekherman,Michael Burr, Luca Dieci, Kathy Chen,Christina Giannitsi, Jaewoo Jung, Justin Lanier, Hyunki Min, Jaemin Park, Adrian Perez Bustamante, Thomas Rodewald, Jieun Seong, Kevin Shu semanticscholar（2020）
AI 理解论文
溯源树
样例
