Tensors Come of Age: Why the AI Revolution will help HPC

09/26/2017

∙

by   John L. Gustafson, et al.

∙

0

∙

share

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.