Lenore M. Mullin

1paper

1 Paper

AISep 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.