paper

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

arXiv:1709.09108

Abstract

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.

To be published in this years 30th anniversary edition of HPCwire