@在集合{zbMATH06642986中，作者={Reps、Thomas和Turetsky、Emma和Prabhu、Prathmesh}，标题={通过张量积进行牛顿程序分析}，BookTitle={2016年1月20日至22日，美国佛罗里达州圣彼得堡，POPL’16，第43届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集}，国际标准图书编号={978-1-4503-3549-2}，页码={663--677}，年份={2016年}，Publisher={纽约，NY:计算机协会（ACM）}，语言={英语}，DOI={10.1145/2837614.2837659}，关键词={68N30,16Y60,68Q45}，zbMATH={6642986}，Zbl={1347.68094}}