Como matemático desarrolló una nueva notación para operaciones sobre series numéricas y la IBM creó a un intérprete para ejecutar expresiones en la notación de Iverson.