Lenore M. R. Mullin

h-index5
1paper
81citations

1 Paper

1.7AISep 26, 2017
Tensors Come of Age: Why the AI Revolution will help HPC

John L. Gustafson, Lenore M. Mullin

This article discusses how the automation of tensor algorithms, based on A Mathematics of Arrays and Psi Calculus, and a new way to represent numbers, Unum Arithmetic, enables mechanically provable, scalable, portable, and more numerically accurate software.